]>
Commit | Line | Data |
---|---|---|
dd84058d MY |
1 | menu "Sandbox architecture" |
2 | depends on SANDBOX | |
3 | ||
4 | config SYS_ARCH | |
dd84058d MY |
5 | default "sandbox" |
6 | ||
7 | config SYS_BOARD | |
dd84058d MY |
8 | default "sandbox" |
9 | ||
0c4b3880 TR |
10 | config SYS_CPU |
11 | default "sandbox" | |
12 | ||
c6b89f31 MS |
13 | config SANDBOX64 |
14 | bool "Use 64-bit addresses" | |
15 | select PHYS_64BIT | |
16 | select HOST_64BIT | |
17 | ||
8797b2ca SG |
18 | config SANDBOX_SPL |
19 | bool "Enable SPL for sandbox" | |
20 | select SUPPORT_SPL | |
21 | ||
dd84058d | 22 | config SYS_CONFIG_NAME |
8797b2ca SG |
23 | default "sandbox_spl" if SANDBOX_SPL |
24 | default "sandbox" if !SANDBOX_SPL | |
dd84058d | 25 | |
98cff660 BM |
26 | choice |
27 | prompt "Run sandbox on 32/64-bit host" | |
c6b89f31 | 28 | default HOST_64BIT |
98cff660 BM |
29 | help |
30 | Sandbox can be built on 32-bit and 64-bit hosts. | |
31 | The default is to build on a 64-bit host and run | |
32 | on a 64-bit host. If you want to run sandbox on | |
33 | a 32-bit host, change it here. | |
34 | ||
c6b89f31 | 35 | config HOST_32BIT |
98cff660 | 36 | bool "32-bit host" |
c6b89f31 | 37 | depends on !PHYS_64BIT |
98cff660 | 38 | |
c6b89f31 | 39 | config HOST_64BIT |
98cff660 BM |
40 | bool "64-bit host" |
41 | ||
42 | endchoice | |
43 | ||
226b50bb BM |
44 | config SANDBOX_BITS_PER_LONG |
45 | int | |
c6b89f31 MS |
46 | default 32 if HOST_32BIT |
47 | default 64 if HOST_64BIT | |
226b50bb | 48 | |
dd84058d | 49 | endmenu |