| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | menu "MicroBlaze architecture" |
| 2 | depends on MICROBLAZE |
| 3 | |
| 4 | config SYS_ARCH |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 5 | default "microblaze" |
| 6 | |
| 7 | choice |
| 8 | prompt "Target select" |
| 9 | |
| 10 | config TARGET_MICROBLAZE_GENERIC |
| 11 | bool "Support microblaze-generic" |
| Masahiro Yamada | 0262735 | 2014-10-20 17:45:56 +0900 | [diff] [blame] | 12 | select SUPPORT_SPL |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 13 | |
| 14 | endchoice |
| 15 | |
| 16 | source "board/xilinx/microblaze-generic/Kconfig" |
| 17 | |
| 18 | endmenu |