• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 SANDBOX64
14	bool "Use 64-bit addresses"
15	select PHYS_64BIT
16	select HOST_64BIT
17
18config SANDBOX_SPL
19	bool "Enable SPL for sandbox"
20	select SUPPORT_SPL
21
22config SYS_CONFIG_NAME
23	default "sandbox_spl" if SANDBOX_SPL
24	default "sandbox" if !SANDBOX_SPL
25
26choice
27	prompt "Run sandbox on 32/64-bit host"
28	default HOST_64BIT
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
35config HOST_32BIT
36	bool "32-bit host"
37	depends on !PHYS_64BIT
38
39config HOST_64BIT
40	bool "64-bit host"
41
42endchoice
43
44config SANDBOX_BITS_PER_LONG
45	int
46	default 32 if HOST_32BIT
47	default 64 if HOST_64BIT
48
49endmenu
50