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