| 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. |
| |
| config DM_KEYBOARD |
| default y |
| |
| endmenu |