]>
Commit | Line | Data |
---|---|---|
dd84058d MY |
1 | menu "Sandbox architecture" |
2 | depends on SANDBOX | |
3 | ||
4 | config SYS_ARCH | |
dd84058d MY |
5 | default "sandbox" |
6 | ||
7 | config SYS_BOARD | |
dd84058d MY |
8 | default "sandbox" |
9 | ||
0c4b3880 TR |
10 | config SYS_CPU |
11 | default "sandbox" | |
12 | ||
dd84058d | 13 | config SYS_CONFIG_NAME |
dd84058d MY |
14 | default "sandbox" |
15 | ||
9569c406 SG |
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 | ||
1fa4bfde SG |
23 | config DM_KEYBOARD |
24 | default y | |
25 | ||
dd84058d | 26 | endmenu |