blob: 87418e398687cd652bf9b1a60b7967e7488c28c1 [file] [log] [blame]
Masahiro Yamadad3ae6782014-07-30 14:08:14 +09001menu "Sandbox architecture"
2 depends on SANDBOX
3
4config SYS_ARCH
Masahiro Yamadad3ae6782014-07-30 14:08:14 +09005 default "sandbox"
6
7config SYS_BOARD
Masahiro Yamadad3ae6782014-07-30 14:08:14 +09008 default "sandbox"
9
Tom Rini54975042016-04-18 13:57:42 -040010config SYS_CPU
11 default "sandbox"
12
Simon Glass9ca517d2016-07-04 11:57:54 -060013config SANDBOX_SPL
14 bool "Enable SPL for sandbox"
15 select SUPPORT_SPL
16
Masahiro Yamadad3ae6782014-07-30 14:08:14 +090017config SYS_CONFIG_NAME
Simon Glass9ca517d2016-07-04 11:57:54 -060018 default "sandbox_spl" if SANDBOX_SPL
19 default "sandbox" if !SANDBOX_SPL
Masahiro Yamadad3ae6782014-07-30 14:08:14 +090020
Bin Meng6bafd242017-08-01 16:33:33 -070021choice
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
30config SANDBOX_32BIT
31 bool "32-bit host"
32
33config SANDBOX_64BIT
34 bool "64-bit host"
35
36endchoice
37
Bin Mengf34b4de2017-08-01 16:33:34 -070038config SANDBOX_BITS_PER_LONG
39 int
40 default 32 if SANDBOX_32BIT
41 default 64 if SANDBOX_64BIT
42
Masahiro Yamadad3ae6782014-07-30 14:08:14 +090043endmenu