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_SPL
  19         bool "Enable SPL for sandbox"
  20         select SUPPORT_SPL
  21
  22 config SYS_CONFIG_NAME
  23         default "sandbox_spl" if SANDBOX_SPL
  24         default "sandbox" if !SANDBOX_SPL
  25
  26 choice
  27         prompt "Run sandbox on 32/64-bit host"
  28         default HOST_64BIT
  29         help
  30           Sandbox can be built on 32-bit and 64-bit hosts.
  31           The default is to build on a 64-bit host and run
  32           on a 64-bit host. If you want to run sandbox on
  33           a 32-bit host, change it here.
  34
  35 config HOST_32BIT
  36         bool "32-bit host"
  37         depends on !PHYS_64BIT
  38
  39 config HOST_64BIT
  40         bool "64-bit host"
  41
  42 endchoice
  43
  44 config SANDBOX_BITS_PER_LONG
  45         int
  46         default 32 if HOST_32BIT
  47         default 64 if HOST_64BIT
  48
  49 endmenu