1menu "Bootloaders" 2 3source "boot/afboot-stm32/Config.in" 4source "boot/at91bootstrap/Config.in" 5source "boot/at91bootstrap3/Config.in" 6source "boot/at91dataflashboot/Config.in" 7source "boot/arm-trusted-firmware/Config.in" 8source "boot/barebox/Config.in" 9source "boot/beaglev-ddrinit/Config.in" 10source "boot/beaglev-secondboot/Config.in" 11source "boot/binaries-marvell/Config.in" 12source "boot/boot-wrapper-aarch64/Config.in" 13source "boot/edk2/Config.in" 14source "boot/grub2/Config.in" 15source "boot/gummiboot/Config.in" 16source "boot/lpc32xxcdl/Config.in" 17source "boot/mv-ddr-marvell/Config.in" 18source "boot/mxs-bootlets/Config.in" 19source "boot/optee-os/Config.in" 20source "boot/opensbi/Config.in" 21source "boot/s500-bootloader/Config.in" 22source "boot/shim/Config.in" 23source "boot/sun20i-d1-spl/Config.in" 24source "boot/syslinux/Config.in" 25source "boot/uboot/Config.in" 26source "boot/vexpress-firmware/Config.in" 27 28endmenu 29