1menu "Sandbox architecture"
2	depends on SANDBOX
3
4config SYS_ARCH
5	default "sandbox"
6
7config SYS_BOARD
8	default "sandbox"
9
10config SYS_CPU
11	default "sandbox"
12
13config SANDBOX64
14	bool "Use 64-bit addresses"
15	select PHYS_64BIT
16	select HOST_64BIT
17
18config 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
28config SANDBOX_SPL
29	bool "Enable SPL for sandbox"
30	select SUPPORT_SPL
31
32config SYS_CONFIG_NAME
33	default "sandbox_spl" if SANDBOX_SPL
34	default "sandbox" if !SANDBOX_SPL
35
36choice
37	prompt "Run sandbox on 32/64-bit host"
38	default HOST_64BIT
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
45config HOST_32BIT
46	bool "32-bit host"
47	depends on !PHYS_64BIT
48
49config HOST_64BIT
50	bool "64-bit host"
51
52endchoice
53
54config SANDBOX_CRASH_RESET
55	bool "Reset on crash"
56	help
57	  If an illegal instruction or an illegal memory access occurs, the
58	  sandbox by default writes a crash dump and exits. If you set this
59	  flag, the sandbox is reset instead. This may be useful when running
60	  test suites like the UEFI self certification test which continue
61	  with the next test after a crash.
62
63config SANDBOX_BITS_PER_LONG
64	int
65	default 32 if HOST_32BIT
66	default 64 if HOST_64BIT
67
68endmenu
69