| 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 | |
| 10 | config SYS_CONFIG_NAME |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 11 | default "sandbox" |
| 12 | |
| Simon Glass | 9569c40 | 2015-03-05 12:25:26 -0700 | [diff] [blame] | 13 | config PCI |
| 14 | bool "PCI support" |
| 15 | help |
| 16 | Enable support for PCI (Peripheral Interconnect Bus), a type of bus |
| 17 | used on some devices to allow the CPU to communicate with its |
| 18 | peripherals. |
| 19 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 20 | endmenu |