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         depends on HOST_64BIT
  17
  18 config SANDBOX_RAM_SIZE_MB
  19         int "RAM size in MiB"
  20         default 256
  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 256 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 SANDBOX_TPL
  33         bool "Enable TPL for sandbox"
  34         select SUPPORT_TPL
  35
  36 config SANDBOX_VPL
  37         bool "Enable VPL for sandbox"
  38         select SUPPORT_VPL
  39
  40 config SYS_CONFIG_NAME
  41         default "sandbox_spl" if SANDBOX_SPL
  42         default "sandbox" if !SANDBOX_SPL
  43
  44 config HOST_32BIT
  45         def_bool ! $(cc-define,_LP64)
  46
  47 config HOST_64BIT
  48         def_bool $(cc-define,_LP64)
  49
  50 config HOST_HAS_SDL
  51         def_bool $(success,sdl2-config --version)
  52
  53 config SANDBOX_SDL
  54         bool "Enable SDL2 support in sandbox"
  55         default HOST_HAS_SDL
  56
  57 config SANDBOX_CRASH_RESET
  58         bool "Reset on crash"
  59         help
  60           If an illegal instruction or an illegal memory access occurs, the
  61           sandbox by default writes a crash dump and exits. If you set this
  62           flag, the sandbox is reset instead. This may be useful when running
  63           test suites like the UEFI self certification test which continue
  64           with the next test after a crash.
  65
  66 config SANDBOX_BITS_PER_LONG
  67         int
  68         default 32 if HOST_32BIT
  69         default 64 if HOST_64BIT
  70
  71 config SYS_FDT_LOAD_ADDR
  72         hex "Address at which to load devicetree"
  73         default 0x100
  74         help
  75           With sandbox the devicetree is loaded into the emulated RAM. This sets
  76           the address that is used. There must be enough space at this address
  77           to load the full devicetree without it overwriting anything else.
  78
  79           See `doc/arch/sandbox.rst` for more information.
  80
  81 endmenu
  82
  83 config FWU_NUM_BANKS
  84         default 2
  85
  86 config FWU_NUM_IMAGES_PER_BANK
  87         default 2