1 # SPDX-License-Identifier: GPL-2.0 2 # 3 # Makefile for bootable kernel images 4 # 5 6 targets += vmlinux.bin 7 8 OBJCOPYFLAGS_vmlinux.bin := -O binary 9 $(obj)/vmlinux.bin: vmlinux FORCE 10 $(call if_changed,objcopy)
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.