]> git.ipfire.org Git - people/ms/u-boot.git/blame - arch/sandbox/Kconfig
sandbox: Add 64-bit sandbox
[people/ms/u-boot.git] / arch / sandbox / Kconfig
CommitLineData
dd84058d
MY
1menu "Sandbox architecture"
2 depends on SANDBOX
3
4config SYS_ARCH
dd84058d
MY
5 default "sandbox"
6
7config SYS_BOARD
dd84058d
MY
8 default "sandbox"
9
0c4b3880
TR
10config SYS_CPU
11 default "sandbox"
12
c6b89f31
MS
13config SANDBOX64
14 bool "Use 64-bit addresses"
15 select PHYS_64BIT
16 select HOST_64BIT
17
8797b2ca
SG
18config SANDBOX_SPL
19 bool "Enable SPL for sandbox"
20 select SUPPORT_SPL
21
dd84058d 22config SYS_CONFIG_NAME
8797b2ca
SG
23 default "sandbox_spl" if SANDBOX_SPL
24 default "sandbox" if !SANDBOX_SPL
dd84058d 25
98cff660
BM
26choice
27 prompt "Run sandbox on 32/64-bit host"
c6b89f31 28 default HOST_64BIT
98cff660
BM
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
c6b89f31 35config HOST_32BIT
98cff660 36 bool "32-bit host"
c6b89f31 37 depends on !PHYS_64BIT
98cff660 38
c6b89f31 39config HOST_64BIT
98cff660
BM
40 bool "64-bit host"
41
42endchoice
43
226b50bb
BM
44config SANDBOX_BITS_PER_LONG
45 int
c6b89f31
MS
46 default 32 if HOST_32BIT
47 default 64 if HOST_64BIT
226b50bb 48
dd84058d 49endmenu