| 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" |
| Joe Hershberger | a26cd04 | 2015-05-12 14:46:23 -0500 | [diff] [blame] | 9 | optional |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | |
| 11 | config TARGET_MICROBLAZE_GENERIC |
| 12 | bool "Support microblaze-generic" |
| Masahiro Yamada | 0262735 | 2014-10-20 17:45:56 +0900 | [diff] [blame] | 13 | select SUPPORT_SPL |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 14 | |
| 15 | endchoice |
| 16 | |
| 17 | source "board/xilinx/microblaze-generic/Kconfig" |
| 18 | |
| 19 | endmenu |