1menu "MicroBlaze architecture" 2 depends on MICROBLAZE 3 4config SYS_ARCH 5 default "microblaze" 6 7choice 8 prompt "Target select" 9 optional 10 11config TARGET_MICROBLAZE_GENERIC 12 bool "Support microblaze-generic" 13 select BOARD_LATE_INIT 14 select SUPPORT_SPL 15 select OF_CONTROL 16 select DM 17 select DM_SERIAL 18 select ENV_IS_IN_FLASH 19 20endchoice 21 22source "board/xilinx/microblaze-generic/Kconfig" 23 24endmenu 25