Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | menu "Sandbox architecture" |
| 2 | depends on SANDBOX |
| 3 | |
| 4 | config SYS_ARCH |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 5 | default "sandbox" |
| 6 | |
| 7 | config SYS_BOARD |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 8 | default "sandbox" |
| 9 | |
Tom Rini | 0c4b388 | 2016-04-18 13:57:42 -0400 | [diff] [blame] | 10 | config SYS_CPU |
| 11 | default "sandbox" |
| 12 | |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 13 | config SYS_CONFIG_NAME |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 14 | default "sandbox" |
| 15 | |
Simon Glass | 9569c40 | 2015-03-05 12:25:26 -0700 | [diff] [blame] | 16 | config PCI |
| 17 | bool "PCI support" |
| 18 | help |
| 19 | Enable support for PCI (Peripheral Interconnect Bus), a type of bus |
| 20 | used on some devices to allow the CPU to communicate with its |
| 21 | peripherals. |
| 22 | |
Simon Glass | 1fa4bfd | 2015-10-18 21:17:17 -0600 | [diff] [blame] | 23 | config DM_KEYBOARD |
| 24 | default y |
| 25 | |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 26 | endmenu |