diff options
author | Mario Six <six@gdsys.cc> | 2018-02-12 08:05:57 +0100 |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2018-02-18 15:53:48 -0700 |
commit | c6b89f31806df06a5d7b688a65f9d2e6e6119a55 (patch) | |
tree | c672045c9190eba8774a37aa2e14b0e6102bb12e /arch/sandbox/Kconfig | |
parent | 995b60b5937133639500d89a01da0d88af3cff15 (diff) | |
download | u-boot-c6b89f31806df06a5d7b688a65f9d2e6e6119a55.tar.gz u-boot-c6b89f31806df06a5d7b688a65f9d2e6e6119a55.tar.xz u-boot-c6b89f31806df06a5d7b688a65f9d2e6e6119a55.zip |
sandbox: Add 64-bit sandbox
To debug device tree issues involving 32- and 64-bit platforms, it is useful to
have a generic 64-bit platform available.
Add a version of the sandbox that uses 64-bit integers for its physical
addresses as well as a modified device tree.
Signed-off-by: Mario Six <mario.six@gdsys.cc>
Added CONFIG_SYS_TEXT_BASE to configs/sandbox64_defconfig
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'arch/sandbox/Kconfig')
-rw-r--r-- | arch/sandbox/Kconfig | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/arch/sandbox/Kconfig b/arch/sandbox/Kconfig index 87418e3986..2a08533c4b 100644 --- a/arch/sandbox/Kconfig +++ b/arch/sandbox/Kconfig @@ -10,6 +10,11 @@ config SYS_BOARD config SYS_CPU default "sandbox" +config SANDBOX64 + bool "Use 64-bit addresses" + select PHYS_64BIT + select HOST_64BIT + config SANDBOX_SPL bool "Enable SPL for sandbox" select SUPPORT_SPL @@ -20,24 +25,25 @@ config SYS_CONFIG_NAME choice prompt "Run sandbox on 32/64-bit host" - default SANDBOX_64BIT + 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 SANDBOX_32BIT +config HOST_32BIT bool "32-bit host" + depends on !PHYS_64BIT -config SANDBOX_64BIT +config HOST_64BIT bool "64-bit host" endchoice config SANDBOX_BITS_PER_LONG int - default 32 if SANDBOX_32BIT - default 64 if SANDBOX_64BIT + default 32 if HOST_32BIT + default 64 if HOST_64BIT endmenu |