2014-07-30 05:08:14 +00:00
|
|
|
menu "Sandbox architecture"
|
|
|
|
depends on SANDBOX
|
|
|
|
|
|
|
|
config SYS_ARCH
|
|
|
|
default "sandbox"
|
|
|
|
|
|
|
|
config SYS_BOARD
|
|
|
|
default "sandbox"
|
|
|
|
|
2016-04-18 17:57:42 +00:00
|
|
|
config SYS_CPU
|
|
|
|
default "sandbox"
|
|
|
|
|
2016-07-04 17:57:54 +00:00
|
|
|
config SANDBOX_SPL
|
|
|
|
bool "Enable SPL for sandbox"
|
|
|
|
select SUPPORT_SPL
|
|
|
|
|
2014-07-30 05:08:14 +00:00
|
|
|
config SYS_CONFIG_NAME
|
2016-07-04 17:57:54 +00:00
|
|
|
default "sandbox_spl" if SANDBOX_SPL
|
|
|
|
default "sandbox" if !SANDBOX_SPL
|
2014-07-30 05:08:14 +00:00
|
|
|
|
2015-03-05 19:25:26 +00:00
|
|
|
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.
|
|
|
|
|
2015-10-19 03:17:17 +00:00
|
|
|
config DM_KEYBOARD
|
|
|
|
default y
|
|
|
|
|
2014-07-30 05:08:14 +00:00
|
|
|
endmenu
|