diff options
| author | Bin Meng <bmeng.cn@gmail.com> | 2017-08-01 16:33:33 -0700 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2017-09-11 21:43:58 -0600 |
| commit | 98cff66027c44e6e15eb48dbb2300f388bcc172c (patch) | |
| tree | cb4efb55f65c3248153cddf4ee0293c3497f186a /arch | |
| parent | 5fe7702eccf1bae5b10f0309cef03e02bfdfa6ef (diff) | |
sandbox: Introduce Kconfig option for 32/64 bit host
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>
Reviewed-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/sandbox/Kconfig | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/arch/sandbox/Kconfig b/arch/sandbox/Kconfig index f7a6e1aef8..7b07bff1da 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 |