2014-07-30 05:08:14 +00:00
|
|
|
menu "Sandbox architecture"
|
|
|
|
depends on SANDBOX
|
|
|
|
|
|
|
|
config SYS_ARCH
|
|
|
|
default "sandbox"
|
|
|
|
|
|
|
|
config SYS_BOARD
|
|
|
|
default "sandbox"
|
|
|
|
|
2016-04-18 17:57:42 +00:00
|
|
|
config SYS_CPU
|
|
|
|
default "sandbox"
|
|
|
|
|
2018-02-12 07:05:57 +00:00
|
|
|
config SANDBOX64
|
|
|
|
bool "Use 64-bit addresses"
|
|
|
|
select PHYS_64BIT
|
|
|
|
select HOST_64BIT
|
|
|
|
|
2016-07-04 17:57:54 +00:00
|
|
|
config SANDBOX_SPL
|
|
|
|
bool "Enable SPL for sandbox"
|
|
|
|
select SUPPORT_SPL
|
|
|
|
|
2014-07-30 05:08:14 +00:00
|
|
|
config SYS_CONFIG_NAME
|
2016-07-04 17:57:54 +00:00
|
|
|
default "sandbox_spl" if SANDBOX_SPL
|
|
|
|
default "sandbox" if !SANDBOX_SPL
|
2014-07-30 05:08:14 +00:00
|
|
|
|
2017-08-01 23:33:33 +00:00
|
|
|
choice
|
|
|
|
prompt "Run sandbox on 32/64-bit host"
|
2018-02-12 07:05:57 +00:00
|
|
|
default HOST_64BIT
|
2017-08-01 23:33:33 +00:00
|
|
|
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.
|
|
|
|
|
2018-02-12 07:05:57 +00:00
|
|
|
config HOST_32BIT
|
2017-08-01 23:33:33 +00:00
|
|
|
bool "32-bit host"
|
2018-02-12 07:05:57 +00:00
|
|
|
depends on !PHYS_64BIT
|
2017-08-01 23:33:33 +00:00
|
|
|
|
2018-02-12 07:05:57 +00:00
|
|
|
config HOST_64BIT
|
2017-08-01 23:33:33 +00:00
|
|
|
bool "64-bit host"
|
|
|
|
|
|
|
|
endchoice
|
|
|
|
|
2017-08-01 23:33:34 +00:00
|
|
|
config SANDBOX_BITS_PER_LONG
|
|
|
|
int
|
2018-02-12 07:05:57 +00:00
|
|
|
default 32 if HOST_32BIT
|
|
|
|
default 64 if HOST_64BIT
|
2017-08-01 23:33:34 +00:00
|
|
|
|
2014-07-30 05:08:14 +00:00
|
|
|
endmenu
|