blob: 2a08533c4b59dab6f3ffb86fd886da4c0d55c0c4 [file] [log] [blame]
Masahiro Yamadadd840582014-07-30 14:08:14 +09001menu "Sandbox architecture"
2 depends on SANDBOX
3
4config SYS_ARCH
Masahiro Yamadadd840582014-07-30 14:08:14 +09005 default "sandbox"
6
7config SYS_BOARD
Masahiro Yamadadd840582014-07-30 14:08:14 +09008 default "sandbox"
9
Tom Rini0c4b3882016-04-18 13:57:42 -040010config SYS_CPU
11 default "sandbox"
12
Mario Sixc6b89f32018-02-12 08:05:57 +010013config SANDBOX64
14 bool "Use 64-bit addresses"
15 select PHYS_64BIT
16 select HOST_64BIT
17
Simon Glass8797b2c2016-07-04 11:57:54 -060018config SANDBOX_SPL
19 bool "Enable SPL for sandbox"
20 select SUPPORT_SPL
21
Masahiro Yamadadd840582014-07-30 14:08:14 +090022config SYS_CONFIG_NAME
Simon Glass8797b2c2016-07-04 11:57:54 -060023 default "sandbox_spl" if SANDBOX_SPL
24 default "sandbox" if !SANDBOX_SPL
Masahiro Yamadadd840582014-07-30 14:08:14 +090025
Bin Meng98cff662017-08-01 16:33:33 -070026choice
27 prompt "Run sandbox on 32/64-bit host"
Mario Sixc6b89f32018-02-12 08:05:57 +010028 default HOST_64BIT
Bin Meng98cff662017-08-01 16:33:33 -070029 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
Mario Sixc6b89f32018-02-12 08:05:57 +010035config HOST_32BIT
Bin Meng98cff662017-08-01 16:33:33 -070036 bool "32-bit host"
Mario Sixc6b89f32018-02-12 08:05:57 +010037 depends on !PHYS_64BIT
Bin Meng98cff662017-08-01 16:33:33 -070038
Mario Sixc6b89f32018-02-12 08:05:57 +010039config HOST_64BIT
Bin Meng98cff662017-08-01 16:33:33 -070040 bool "64-bit host"
41
42endchoice
43
Bin Meng226b50b2017-08-01 16:33:34 -070044config SANDBOX_BITS_PER_LONG
45 int
Mario Sixc6b89f32018-02-12 08:05:57 +010046 default 32 if HOST_32BIT
47 default 64 if HOST_64BIT
Bin Meng226b50b2017-08-01 16:33:34 -070048
Masahiro Yamadadd840582014-07-30 14:08:14 +090049endmenu