blob: 65f988e7369acf23efdfd35a59f5d85332ded3ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
menu "Sandbox architecture"
depends on SANDBOX
config SYS_ARCH
default "sandbox"
config SYS_BOARD
default "sandbox"
config SYS_CPU
default "sandbox"
config SANDBOX64
bool "Use 64-bit addresses"
select PHYS_64BIT
select HOST_64BIT
config SANDBOX_RAM_SIZE_MB
int "RAM size in MiB"
default 128
range 64 4095 if !SANDBOX64
range 64 268435456 if SANDBOX64
help
Memory size of the sandbox in MiB. The default value is 128 MiB.
The minimum value is 64 MiB. The maximum value is 4095 MiB for the
32bit sandbox.
config SANDBOX_SPL
bool "Enable SPL for sandbox"
select SUPPORT_SPL
config SYS_CONFIG_NAME
default "sandbox_spl" if SANDBOX_SPL
default "sandbox" if !SANDBOX_SPL
choice
prompt "Run sandbox on 32/64-bit host"
default HOST_64BIT
help
Sandbox can be built on 32-bit and 64-bit hosts.
The default is to build on a 64-bit host and run
on a 64-bit host. If you want to run sandbox on
a 32-bit host, change it here.
config HOST_32BIT
bool "32-bit host"
depends on !PHYS_64BIT
config HOST_64BIT
bool "64-bit host"
endchoice
config SANDBOX_BITS_PER_LONG
int
default 32 if HOST_32BIT
default 64 if HOST_64BIT
endmenu
|
