sandbox: Add 64-bit sandbox

[people/ms/u-boot.git] / arch / sandbox / Kconfig

diff --git a/arch/sandbox/Kconfig b/arch/sandbox/Kconfig
index 8aac96f8d92a57f93300d156345c3a29bea11a52..2a08533c4b59dab6f3ffb86fd886da4c0d55c0c4 100644 (file)
--- a/arch/sandbox/Kconfig
+++ b/arch/sandbox/Kconfig
@@ -7,29 +7,43 @@ config SYS_ARCH
 config SYS_BOARD
        default "sandbox"
 
-config SYS_CONFIG_NAME
+config SYS_CPU
        default "sandbox"
 
-config DM_TEST
-       default y
+config SANDBOX64
+       bool "Use 64-bit addresses"
+       select PHYS_64BIT
+       select HOST_64BIT
+
+config SANDBOX_SPL
+       bool "Enable SPL for sandbox"
+       select SUPPORT_SPL
+
+config SYS_CONFIG_NAME
+       default "sandbox_spl" if SANDBOX_SPL
+       default "sandbox" if !SANDBOX_SPL
 
-config PCI
-       bool "PCI support"
+choice
+       prompt "Run sandbox on 32/64-bit host"
+       default HOST_64BIT
        help
-         Enable support for PCI (Peripheral Interconnect Bus), a type of bus
-         used on some devices to allow the CPU to communicate with its
-         peripherals.
+         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 NET
-       default y
+config HOST_32BIT
+       bool "32-bit host"
+       depends on !PHYS_64BIT
 
-config NETDEVICES
-       default y
+config HOST_64BIT
+       bool "64-bit host"
 
-config DM_ETH
-       default y
+endchoice
 
-config ETH_SANDBOX_RAW
-       default y
+config SANDBOX_BITS_PER_LONG
+       int
+       default 32 if HOST_32BIT
+       default 64 if HOST_64BIT
 
 endmenu