uboot/arch/sandbox/Kconfig
<<
>>
Prefs
   1menu "Sandbox architecture"
   2        depends on SANDBOX
   3
   4config SYS_ARCH
   5        default "sandbox"
   6
   7config SYS_BOARD
   8        default "sandbox"
   9
  10config SYS_CPU
  11        default "sandbox"
  12
  13config SANDBOX64
  14        bool "Use 64-bit addresses"
  15        select PHYS_64BIT
  16        select HOST_64BIT
  17
  18config SANDBOX_SPL
  19        bool "Enable SPL for sandbox"
  20        select SUPPORT_SPL
  21
  22config SYS_CONFIG_NAME
  23        default "sandbox_spl" if SANDBOX_SPL
  24        default "sandbox" if !SANDBOX_SPL
  25
  26choice
  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
  35config HOST_32BIT
  36        bool "32-bit host"
  37        depends on !PHYS_64BIT
  38
  39config HOST_64BIT
  40        bool "64-bit host"
  41
  42endchoice
  43
  44config SANDBOX_BITS_PER_LONG
  45        int
  46        default 32 if HOST_32BIT
  47        default 64 if HOST_64BIT
  48
  49endmenu
  50