menu "Sandbox architecture"
	depends on SANDBOX

config SYS_ARCH
	default "sandbox"

config SYS_BOARD
	default "sandbox"

config SYS_CPU
	default "sandbox"

choice
	prompt "Target select"

config TARGET_SANDBOX
	bool "Support basic sandbox"

config TARGET_SANDBOX_SPL
	bool "Build sandbox with SPL"
	select SUPPORT_SPL

config TARGET_SANDBOX64
	bool "Support 64-bit sandbox (even on 32-bit machines)"
	select SANDBOX64

config TARGET_SANDBOX_FLATTREE
	bool "Support sandbox with a flat device tree only (no livetree)"

config TARGET_CHROMEOS_SANDBOX
	bool "Support Chrome OS sandbox"
	select SUPPORT_TPL
	select SUPPORT_VPL
	select SUPPORT_SPL

endchoice

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 SANDBOX_TPL
	bool "Enable TPL for sandbox"
	select SUPPORT_TPL

config SANDBOX_VPL
	bool "Enable VPL for sandbox"
	select SUPPORT_VPL

source "board/sandbox/Kconfig"

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