| 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 | |
| Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 21 | choice |
| 22 | prompt "Run sandbox on 32/64-bit host" |
| 23 | default SANDBOX_64BIT |
| 24 | help |
| 25 | Sandbox can be built on 32-bit and 64-bit hosts. |
| 26 | The default is to build on a 64-bit host and run |
| 27 | on a 64-bit host. If you want to run sandbox on |
| 28 | a 32-bit host, change it here. |
| 29 | |
| 30 | config SANDBOX_32BIT |
| 31 | bool "32-bit host" |
| 32 | |
| 33 | config SANDBOX_64BIT |
| 34 | bool "64-bit host" |
| 35 | |
| 36 | endchoice |
| 37 | |
| Bin Meng | 226b50b | 2017-08-01 16:33:34 -0700 | [diff] [blame] | 38 | config SANDBOX_BITS_PER_LONG |
| 39 | int |
| 40 | default 32 if SANDBOX_32BIT |
| 41 | default 64 if SANDBOX_64BIT |
| 42 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 43 | endmenu |