| menu "Sandbox architecture" | |
| depends on SANDBOX | |
| config SYS_ARCH | |
| default "sandbox" | |
| config SYS_BOARD | |
| default "sandbox" | |
| config SYS_CPU | |
| default "sandbox" | |
| config SANDBOX_SPL | |
| bool "Enable SPL for sandbox" | |
| select SUPPORT_SPL | |
| config SYS_CONFIG_NAME | |
| default "sandbox_spl" if SANDBOX_SPL | |
| default "sandbox" if !SANDBOX_SPL | |
| config PCI | |
| bool "PCI support" | |
| help | |
| Enable support for PCI (Peripheral Interconnect Bus), a type of bus | |
| used on some devices to allow the CPU to communicate with its | |
| peripherals. | |
| endmenu |