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