1/* SPDX-License-Identifier: GPL-2.0 */
2	.globl	kernel_start
3kernel_start:
4	.incbin	"arch/arm/boot/zImage"
5	.globl	kernel_end
6kernel_end:
7	.align	2
8