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