menu "MicroBlaze architecture" depends on MICROBLAZE config SYS_ARCH default "microblaze" choice prompt "Target select" optional config TARGET_MICROBLAZE_GENERIC bool "Support microblaze-generic" select SUPPORT_SPL endchoice source "board/xilinx/microblaze-generic/Kconfig" endmenu