1menu "MicroBlaze architecture" 2 depends on MICROBLAZE 3 4config SYS_ARCH 5 default "microblaze" 6 7choice 8 prompt "Target select" 9 10config TARGET_MICROBLAZE_GENERIC 11 bool "Support microblaze-generic" 12 select SUPPORT_SPL 13 14endchoice 15 16source "board/xilinx/microblaze-generic/Kconfig" 17 18endmenu 19