1# SPDX-License-Identifier: GPL-2.0-only 2btfix.S 3btfixupprep 4image 5zImage 6tftpboot.img 7vmlinux.aout 8piggyback 9 10