| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | menu "Sandbox architecture" |
| 2 | depends on SANDBOX | ||||
| 3 | |||||
| 4 | config SYS_ARCH | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 5 | default "sandbox" |
| 6 | |||||
| 7 | config SYS_BOARD | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 8 | default "sandbox" |
| 9 | |||||
| Tom Rini | 0c4b388 | 2016-04-18 13:57:42 -0400 | [diff] [blame] | 10 | config SYS_CPU |
| 11 | default "sandbox" | ||||
| 12 | |||||
| Simon Glass | 8797b2c | 2016-07-04 11:57:54 -0600 | [diff] [blame] | 13 | config SANDBOX_SPL |
| 14 | bool "Enable SPL for sandbox" | ||||
| 15 | select SUPPORT_SPL | ||||
| 16 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 17 | config SYS_CONFIG_NAME |
| Simon Glass | 8797b2c | 2016-07-04 11:57:54 -0600 | [diff] [blame] | 18 | default "sandbox_spl" if SANDBOX_SPL |
| 19 | default "sandbox" if !SANDBOX_SPL | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 20 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 21 | endmenu |