]>
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 | ||
e85497a9 HS |
18 | config SANDBOX_RAM_SIZE_MB |
19 | int "RAM size in MiB" | |
20 | default 128 | |
21 | range 64 4095 if !SANDBOX64 | |
22 | range 64 268435456 if SANDBOX64 | |
23 | help | |
24 | Memory size of the sandbox in MiB. The default value is 128 MiB. | |
25 | The minimum value is 64 MiB. The maximum value is 4095 MiB for the | |
26 | 32bit sandbox. | |
27 | ||
8797b2ca SG |
28 | config SANDBOX_SPL |
29 | bool "Enable SPL for sandbox" | |
30 | select SUPPORT_SPL | |
31 | ||
dd84058d | 32 | config SYS_CONFIG_NAME |
8797b2ca SG |
33 | default "sandbox_spl" if SANDBOX_SPL |
34 | default "sandbox" if !SANDBOX_SPL | |
dd84058d | 35 | |
98cff660 BM |
36 | choice |
37 | prompt "Run sandbox on 32/64-bit host" | |
c6b89f31 | 38 | default HOST_64BIT |
98cff660 BM |
39 | help |
40 | Sandbox can be built on 32-bit and 64-bit hosts. | |
41 | The default is to build on a 64-bit host and run | |
42 | on a 64-bit host. If you want to run sandbox on | |
43 | a 32-bit host, change it here. | |
44 | ||
c6b89f31 | 45 | config HOST_32BIT |
98cff660 | 46 | bool "32-bit host" |
c6b89f31 | 47 | depends on !PHYS_64BIT |
98cff660 | 48 | |
c6b89f31 | 49 | config HOST_64BIT |
98cff660 BM |
50 | bool "64-bit host" |
51 | ||
52 | endchoice | |
53 | ||
226b50bb BM |
54 | config SANDBOX_BITS_PER_LONG |
55 | int | |
c6b89f31 MS |
56 | default 32 if HOST_32BIT |
57 | default 64 if HOST_64BIT | |
226b50bb | 58 | |
dd84058d | 59 | endmenu |