1 menu "Sandbox architecture"
14 bool "Use 64-bit addresses"
18 config SANDBOX_RAM_SIZE_MB
21 range 64 4095 if !SANDBOX64
22 range 64 268435456 if SANDBOX64
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
29 bool "Enable SPL for sandbox"
33 bool "Enable TPL for sandbox"
37 bool "Enable VPL for sandbox"
40 config SYS_CONFIG_NAME
41 default "sandbox_spl" if SANDBOX_SPL
42 default "sandbox" if !SANDBOX_SPL
45 prompt "Run sandbox on 32/64-bit host"
48 Sandbox can be built on 32-bit and 64-bit hosts.
49 The default is to build on a 64-bit host and run
50 on a 64-bit host. If you want to run sandbox on
51 a 32-bit host, change it here.
55 depends on !PHYS_64BIT
62 config SANDBOX_CRASH_RESET
65 If an illegal instruction or an illegal memory access occurs, the
66 sandbox by default writes a crash dump and exits. If you set this
67 flag, the sandbox is reset instead. This may be useful when running
68 test suites like the UEFI self certification test which continue
69 with the next test after a crash.
71 config SANDBOX_BITS_PER_LONG
73 default 32 if HOST_32BIT
74 default 64 if HOST_64BIT
76 config SYS_FDT_LOAD_ADDR
77 hex "Address at which to load devicetree"
80 With sandbox the devicetree is loaded into the emulated RAM. This sets
81 the address that is used. There must be enough space at this address
82 to load the full devicetree without it overwriting anything else.
84 See `doc/arch/sandbox.rst` for more information.