1menu "Sandbox architecture" 2 depends on SANDBOX 3 4config SYS_ARCH 5 default "sandbox" 6 7config SYS_BOARD 8 default "sandbox" 9 10config SYS_CPU 11 default "sandbox" 12 13config SANDBOX_SPL 14 bool "Enable SPL for sandbox" 15 select SUPPORT_SPL 16 17config SYS_CONFIG_NAME 18 default "sandbox_spl" if SANDBOX_SPL 19 default "sandbox" if !SANDBOX_SPL 20 21choice 22 prompt "Run sandbox on 32/64-bit host" 23 default SANDBOX_64BIT 24 help 25 Sandbox can be built on 32-bit and 64-bit hosts. 26 The default is to build on a 64-bit host and run 27 on a 64-bit host. If you want to run sandbox on 28 a 32-bit host, change it here. 29 30config SANDBOX_32BIT 31 bool "32-bit host" 32 33config SANDBOX_64BIT 34 bool "64-bit host" 35 36endchoice 37 38endmenu 39