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)