arch/sandbox/Kconfig

   1 menu "Sandbox architecture"
   2         depends on SANDBOX
   3
   4 config SYS_ARCH
   5         default "sandbox"
   6
   7 config SYS_BOARD
   8         default "sandbox"
   9
  10 config SYS_CPU
  11         default "sandbox"
  12
  13 config SANDBOX64
  14         bool "Use 64-bit addresses"
  15         select PHYS_64BIT
  16         select HOST_64BIT
  17
  18 config SANDBOX_RAM_SIZE_MB
  19         int "RAM size in MiB"
  20         default 128
  21         range 64 4095 if !SANDBOX64
  22         range 64 268435456 if SANDBOX64
  23         help
  24           Memory size of the sandbox in MiB. The default value is 128 MiB.
  25           The minimum value is 64 MiB. The maximum value is 4095 MiB for the
  26           32bit sandbox.
  27
  28 config SANDBOX_SPL
  29         bool "Enable SPL for sandbox"
  30         select SUPPORT_SPL
  31
  32 config SYS_CONFIG_NAME
  33         default "sandbox_spl" if SANDBOX_SPL
  34         default "sandbox" if !SANDBOX_SPL
  35
  36 choice
  37         prompt "Run sandbox on 32/64-bit host"
  38         default HOST_64BIT
  39         help
  40           Sandbox can be built on 32-bit and 64-bit hosts.
  41           The default is to build on a 64-bit host and run
  42           on a 64-bit host. If you want to run sandbox on
  43           a 32-bit host, change it here.
  44
  45 config HOST_32BIT
  46         bool "32-bit host"
  47         depends on !PHYS_64BIT
  48
  49 config HOST_64BIT
  50         bool "64-bit host"
  51
  52 endchoice
  53
  54 config SANDBOX_CRASH_RESET
  55         bool "Reset on crash"
  56         help
  57           If an illegal instruction or an illegal memory access occurs, the
  58           sandbox by default writes a crash dump and exits. If you set this
  59           flag, the sandbox is reset instead. This may be useful when running
  60           test suites like the UEFI self certification test which continue
  61           with the next test after a crash.
  62
  63 config SANDBOX_BITS_PER_LONG
  64         int
  65         default 32 if HOST_32BIT
  66         default 64 if HOST_64BIT
  67
  68 endmenu