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