18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Makefile for bootable kernel images 48c2ecf20Sopenharmony_ci# 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciOBJCOPYFLAGS_vmlinux.bin := -O binary 78c2ecf20Sopenharmony_ci$(obj)/vmlinux.bin: vmlinux FORCE 88c2ecf20Sopenharmony_ci $(call if_changed,objcopy) 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci$(obj)/dtbImage.%: vmlinux 118c2ecf20Sopenharmony_ci $(call if_changed,objcopy) 12