1# SPDX-License-Identifier: GPL-2.0-only 2mkboot 3elf2ecoff 4vmlinux.* 5zImage 6zImage.tmp 7calc_vmlinuz_load_addr 8uImage 9