1 menu "Sandbox architecture"
14 bool "Use 64-bit addresses"
19 bool "Enable SPL for sandbox"
22 config SYS_CONFIG_NAME
23 default "sandbox_spl" if SANDBOX_SPL
24 default "sandbox" if !SANDBOX_SPL
27 prompt "Run sandbox on 32/64-bit host"
30 Sandbox can be built on 32-bit and 64-bit hosts.
31 The default is to build on a 64-bit host and run
32 on a 64-bit host. If you want to run sandbox on
33 a 32-bit host, change it here.
37 depends on !PHYS_64BIT
44 config SANDBOX_BITS_PER_LONG
46 default 32 if HOST_32BIT
47 default 64 if HOST_64BIT