67cfae0f26
The RISCV Proxy Kernel (AKA BBL) isn't being used by most distros so has very limited testing. It has been replaced by OpenSBI and been deprecated for awhile, so let's just remove it. Signed-off-by: Alistair Francis <alistair.francis@wdc.com> Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
25 lines
762 B
Plaintext
25 lines
762 B
Plaintext
menu "Bootloaders"
|
|
|
|
source "boot/afboot-stm32/Config.in"
|
|
source "boot/at91bootstrap/Config.in"
|
|
source "boot/at91bootstrap3/Config.in"
|
|
source "boot/at91dataflashboot/Config.in"
|
|
source "boot/arm-trusted-firmware/Config.in"
|
|
source "boot/barebox/Config.in"
|
|
source "boot/binaries-marvell/Config.in"
|
|
source "boot/boot-wrapper-aarch64/Config.in"
|
|
source "boot/grub2/Config.in"
|
|
source "boot/gummiboot/Config.in"
|
|
source "boot/lpc32xxcdl/Config.in"
|
|
source "boot/mv-ddr-marvell/Config.in"
|
|
source "boot/mxs-bootlets/Config.in"
|
|
source "boot/optee-os/Config.in"
|
|
source "boot/opensbi/Config.in"
|
|
source "boot/s500-bootloader/Config.in"
|
|
source "boot/shim/Config.in"
|
|
source "boot/syslinux/Config.in"
|
|
source "boot/uboot/Config.in"
|
|
source "boot/vexpress-firmware/Config.in"
|
|
|
|
endmenu
|