12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 |
- menu "Sandbox architecture"
- depends on SANDBOX
- config SYS_ARCH
- default "sandbox"
- config SYS_BOARD
- default "sandbox"
- config SYS_CPU
- default "sandbox"
- config SANDBOX64
- bool "Use 64-bit addresses"
- select PHYS_64BIT
- select HOST_64BIT
- config SANDBOX_SPL
- bool "Enable SPL for sandbox"
- select SUPPORT_SPL
- config SYS_CONFIG_NAME
- default "sandbox_spl" if SANDBOX_SPL
- default "sandbox" if !SANDBOX_SPL
- choice
- prompt "Run sandbox on 32/64-bit host"
- default HOST_64BIT
- help
- Sandbox can be built on 32-bit and 64-bit hosts.
- The default is to build on a 64-bit host and run
- on a 64-bit host. If you want to run sandbox on
- a 32-bit host, change it here.
- config HOST_32BIT
- bool "32-bit host"
- depends on !PHYS_64BIT
- config HOST_64BIT
- bool "64-bit host"
- endchoice
- config SANDBOX_BITS_PER_LONG
- int
- default 32 if HOST_32BIT
- default 64 if HOST_64BIT
- endmenu
|