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