1 /* SPDX-License-Identifier: GPL-2.0 */ 2 .globl kernel_start 3 kernel_start: 4 .incbin "arch/arm/boot/zImage" 5 .globl kernel_end 6 kernel_end: 7 .align 2
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.