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