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