
3 Aug
2017
3 Aug
'17
5:24 p.m.
On 1 August 2017 at 17:33, Bin Meng bmeng.cn@gmail.com wrote:
It seems most of the time we are building and running sandbox on 64-bit host. But we do support 32-bit host as well. Introduce Kconfig option for this.
Signed-off-by: Bin Meng bmeng.cn@gmail.com
arch/sandbox/Kconfig | 17 +++++++++++++++++ 1 file changed, 17 insertions(+)
Reviewed-by: Simon Glass sjg@chromium.org
diff --git a/arch/sandbox/Kconfig b/arch/sandbox/Kconfig index f7a6e1a..7b07bff 100644 --- a/arch/sandbox/Kconfig +++ b/arch/sandbox/Kconfig @@ -18,4 +18,21 @@ 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 SANDBOX_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
bool "32-bit host"
+config SANDBOX_64BIT
bool "64-bit host"
+endchoice
endmenu
2.9.2