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