1 menu "Sandbox architecture"
14 bool "Enable SPL for sandbox"
17 config SYS_CONFIG_NAME
18 default "sandbox_spl" if SANDBOX_SPL
19 default "sandbox" if !SANDBOX_SPL
22 prompt "Run sandbox on 32/64-bit host"
25 Sandbox can be built on 32-bit and 64-bit hosts.
26 The default is to build on a 64-bit host and run
27 on a 64-bit host. If you want to run sandbox on
28 a 32-bit host, change it here.
38 config SANDBOX_BITS_PER_LONG
40 default 32 if SANDBOX_32BIT
41 default 64 if SANDBOX_64BIT