xref: /openbmc/u-boot/arch/sandbox/Kconfig (revision dca47409)
1menu "Sandbox architecture"
2	depends on SANDBOX
3
4config SYS_ARCH
5	default "sandbox"
6
7config SYS_BOARD
8	default "sandbox"
9
10config SYS_CPU
11	default "sandbox"
12
13config SANDBOX_SPL
14	bool "Enable SPL for sandbox"
15	select SUPPORT_SPL
16
17config SYS_CONFIG_NAME
18	default "sandbox_spl" if SANDBOX_SPL
19	default "sandbox" if !SANDBOX_SPL
20
21choice
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
38config SANDBOX_BITS_PER_LONG
39	int
40	default 32 if SANDBOX_32BIT
41	default 64 if SANDBOX_64BIT
42
43endmenu
44