config SYS_BOARD
default "sandbox"
-config SYS_CONFIG_NAME
+config SYS_CPU
default "sandbox"
-config DM
- default y
-
-config DM_GPIO
- default y
-
-config DM_SERIAL
- default y
-
-config DM_CROS_EC
- default y
+config SANDBOX64
+ bool "Use 64-bit addresses"
+ select PHYS_64BIT
+ select HOST_64BIT
-config DM_SPI
- default y
+config SANDBOX_SPL
+ bool "Enable SPL for sandbox"
+ select SUPPORT_SPL
-config DM_SPI_FLASH
- default y
-
-config DM_I2C
- default y
-
-config DM_TEST
- default y
+config SYS_CONFIG_NAME
+ default "sandbox_spl" if SANDBOX_SPL
+ default "sandbox" if !SANDBOX_SPL
+
+choice
+ prompt "Run sandbox on 32/64-bit host"
+ default HOST_64BIT
+ help
+ Sandbox can be built on 32-bit and 64-bit hosts.
+ The default is to build on a 64-bit host and run
+ on a 64-bit host. If you want to run sandbox on
+ a 32-bit host, change it here.
+
+config HOST_32BIT
+ bool "32-bit host"
+ depends on !PHYS_64BIT
+
+config HOST_64BIT
+ bool "64-bit host"
+
+endchoice
+
+config SANDBOX_BITS_PER_LONG
+ int
+ default 32 if HOST_32BIT
+ default 64 if HOST_64BIT
endmenu