mirror of
https://source.denx.de/u-boot/u-boot.git
synced 2025-10-31 08:21:36 +01:00
c6b89f3180
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>
50 lines
881 B
Plaintext
50 lines
881 B
Plaintext
menu "Sandbox architecture"
|
|
depends on SANDBOX
|
|
|
|
config SYS_ARCH
|
|
default "sandbox"
|
|
|
|
config SYS_BOARD
|
|
default "sandbox"
|
|
|
|
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
|
|
|
|
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
|