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 SANDBOX64 14 bool "Use 64-bit addresses" 15 select PHYS_64BIT 16 select HOST_64BIT 17 18config SANDBOX_SPL 19 bool "Enable SPL for sandbox" 20 select SUPPORT_SPL 21 22config SYS_CONFIG_NAME 23 default "sandbox_spl" if SANDBOX_SPL 24 default "sandbox" if !SANDBOX_SPL 25 26choice 27 prompt "Run sandbox on 32/64-bit host" 28 default HOST_64BIT 29 help 30 Sandbox can be built on 32-bit and 64-bit hosts. 31 The default is to build on a 64-bit host and run 32 on a 64-bit host. If you want to run sandbox on 33 a 32-bit host, change it here. 34 35config HOST_32BIT 36 bool "32-bit host" 37 depends on !PHYS_64BIT 38 39config HOST_64BIT 40 bool "64-bit host" 41 42endchoice 43 44config SANDBOX_BITS_PER_LONG 45 int 46 default 32 if HOST_32BIT 47 default 64 if HOST_64BIT 48 49endmenu 50