2014-07-30 05:08:14 +00:00
|
|
|
menu "Sandbox architecture"
|
|
|
|
depends on SANDBOX
|
|
|
|
|
|
|
|
config SYS_ARCH
|
|
|
|
default "sandbox"
|
|
|
|
|
|
|
|
config SYS_BOARD
|
|
|
|
default "sandbox"
|
|
|
|
|
2016-04-18 17:57:42 +00:00
|
|
|
config SYS_CPU
|
|
|
|
default "sandbox"
|
|
|
|
|
2018-02-12 07:05:57 +00:00
|
|
|
config SANDBOX64
|
|
|
|
bool "Use 64-bit addresses"
|
|
|
|
select PHYS_64BIT
|
2022-10-14 20:52:33 +00:00
|
|
|
depends on HOST_64BIT
|
2018-02-12 07:05:57 +00:00
|
|
|
|
2020-06-07 16:47:35 +00:00
|
|
|
config SANDBOX_RAM_SIZE_MB
|
|
|
|
int "RAM size in MiB"
|
2022-04-30 05:55:53 +00:00
|
|
|
default 256
|
2020-06-07 16:47:35 +00:00
|
|
|
range 64 4095 if !SANDBOX64
|
|
|
|
range 64 268435456 if SANDBOX64
|
|
|
|
help
|
2022-04-30 05:55:53 +00:00
|
|
|
Memory size of the sandbox in MiB. The default value is 256 MiB.
|
2020-06-07 16:47:35 +00:00
|
|
|
The minimum value is 64 MiB. The maximum value is 4095 MiB for the
|
|
|
|
32bit sandbox.
|
|
|
|
|
2016-07-04 17:57:54 +00:00
|
|
|
config SANDBOX_SPL
|
|
|
|
bool "Enable SPL for sandbox"
|
|
|
|
select SUPPORT_SPL
|
|
|
|
|
2022-04-30 06:56:54 +00:00
|
|
|
config SANDBOX_TPL
|
|
|
|
bool "Enable TPL for sandbox"
|
|
|
|
select SUPPORT_TPL
|
|
|
|
|
|
|
|
config SANDBOX_VPL
|
|
|
|
bool "Enable VPL for sandbox"
|
|
|
|
select SUPPORT_VPL
|
|
|
|
|
2014-07-30 05:08:14 +00:00
|
|
|
config SYS_CONFIG_NAME
|
2016-07-04 17:57:54 +00:00
|
|
|
default "sandbox_spl" if SANDBOX_SPL
|
|
|
|
default "sandbox" if !SANDBOX_SPL
|
2014-07-30 05:08:14 +00:00
|
|
|
|
2018-02-12 07:05:57 +00:00
|
|
|
config HOST_32BIT
|
2022-10-14 20:52:33 +00:00
|
|
|
def_bool ! $(cc-define,_LP64)
|
2017-08-01 23:33:33 +00:00
|
|
|
|
2018-02-12 07:05:57 +00:00
|
|
|
config HOST_64BIT
|
2022-10-14 20:52:33 +00:00
|
|
|
def_bool $(cc-define,_LP64)
|
2017-08-01 23:33:33 +00:00
|
|
|
|
2022-11-19 23:45:43 +00:00
|
|
|
config HOST_HAS_SDL
|
|
|
|
def_bool $(success,sdl2-config --version)
|
|
|
|
|
|
|
|
config SANDBOX_SDL
|
|
|
|
bool "Enable SDL2 support in sandbox"
|
|
|
|
default HOST_HAS_SDL
|
|
|
|
|
2020-11-11 23:29:56 +00:00
|
|
|
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.
|
|
|
|
|
2017-08-01 23:33:34 +00:00
|
|
|
config SANDBOX_BITS_PER_LONG
|
|
|
|
int
|
2018-02-12 07:05:57 +00:00
|
|
|
default 32 if HOST_32BIT
|
|
|
|
default 64 if HOST_64BIT
|
2017-08-01 23:33:34 +00:00
|
|
|
|
2021-11-24 16:26:41 +00:00
|
|
|
config SYS_FDT_LOAD_ADDR
|
|
|
|
hex "Address at which to load devicetree"
|
|
|
|
default 0x100
|
|
|
|
help
|
|
|
|
With sandbox the devicetree is loaded into the emulated RAM. This sets
|
|
|
|
the address that is used. There must be enough space at this address
|
|
|
|
to load the full devicetree without it overwriting anything else.
|
|
|
|
|
|
|
|
See `doc/arch/sandbox.rst` for more information.
|
|
|
|
|
2014-07-30 05:08:14 +00:00
|
|
|
endmenu
|
2022-10-21 12:46:05 +00:00
|
|
|
|
|
|
|
config FWU_NUM_BANKS
|
|
|
|
default 2
|
|
|
|
|
|
|
|
config FWU_NUM_IMAGES_PER_BANK
|
|
|
|
default 2
|