On 1 August 2017 at 17:33, Bin Meng <[email protected]> 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 <[email protected]>
> ---
>
>  arch/sandbox/Kconfig | 17 +++++++++++++++++
>  1 file changed, 17 insertions(+)

Reviewed-by: Simon Glass <[email protected]>

>
> 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
>
_______________________________________________
U-Boot mailing list
[email protected]
https://lists.denx.de/listinfo/u-boot

Reply via email to