| menu "Sandbox architecture" |
| depends on SANDBOX |
| |
| config SYS_ARCH |
| default "sandbox" |
| |
| config SYS_BOARD |
| default "sandbox" |
| |
| config SYS_CPU |
| default "sandbox" |
| |
| config SANDBOX64 |
| bool "Use 64-bit addresses" |
| select PHYS_64BIT |
| select HOST_64BIT |
| |
| config SANDBOX_RAM_SIZE_MB |
| int "RAM size in MiB" |
| default 128 |
| range 64 4095 if !SANDBOX64 |
| range 64 268435456 if SANDBOX64 |
| help |
| 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 |
| 32bit sandbox. |
| |
| config SANDBOX_SPL |
| bool "Enable SPL for sandbox" |
| select SUPPORT_SPL |
| |
| config SYS_CONFIG_NAME |
| default "sandbox_spl" if SANDBOX_SPL |
| default "sandbox" if !SANDBOX_SPL |
| |
| choice |
| prompt "Run sandbox on 32/64-bit host" |
| default HOST_64BIT |
| help |
| 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 HOST_32BIT |
| bool "32-bit host" |
| depends on !PHYS_64BIT |
| |
| config HOST_64BIT |
| bool "64-bit host" |
| |
| endchoice |
| |
| config SANDBOX_CRASH_RESET |
| bool "Reset on crash" |
| help |
| If an illegal instruction or an illegal memory access occurs, the |
| sandbox by default writes a crash dump and exits. If you set this |
| flag, the sandbox is reset instead. This may be useful when running |
| test suites like the UEFI self certification test which continue |
| with the next test after a crash. |
| |
| config SANDBOX_BITS_PER_LONG |
| int |
| default 32 if HOST_32BIT |
| default 64 if HOST_64BIT |
| |
| endmenu |