| menu "Sandbox architecture" |
| bool "Use 64-bit addresses" |
| config SANDBOX_RAM_SIZE_MB |
| range 64 4095 if !SANDBOX64 |
| range 64 268435456 if SANDBOX64 |
| 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 |
| bool "Enable SPL for sandbox" |
| default "sandbox_spl" if SANDBOX_SPL |
| default "sandbox" if !SANDBOX_SPL |
| prompt "Run sandbox on 32/64-bit host" |
| 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 SANDBOX_BITS_PER_LONG |