1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for bootable kernel images
4#
5
6targets += vmlinux.bin
7
8OBJCOPYFLAGS_vmlinux.bin := -O binary
9$(obj)/vmlinux.bin: vmlinux FORCE
10	$(call if_changed,objcopy)
11