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