xref: /rk3399_rockchip-uboot/arch/microblaze/Kconfig (revision aae2aef9c807a13ec9074efe48fae5bb5e3c6039)
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