original_kernel/arch/c6x/boot/Makefile

#
# Makefile for bootable kernel images
#

OBJCOPYFLAGS_vmlinux.bin := -O binary
$(obj)/vmlinux.bin: vmlinux FORCE
	$(call if_changed,objcopy)

$(obj)/dtbImage.%: vmlinux
	$(call if_changed,objcopy)