xref: /rk3399_rockchip-uboot/arch/microblaze/Kconfig (revision 54abb000e3d76ab7c2d0df11a2b4074aec7f3c1f) 
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 SUPPORT_SPL
14
15endchoice
16
17source "board/xilinx/microblaze-generic/Kconfig"
18
19endmenu
20