# SPDX-License-Identifier: GPL-2.0-only
mkboot
elf2ecoff
vmlinux.*
zImage
zImage.tmp
calc_vmlinuz_load_addr
uImage