| Patrick Georgi | 00f0267 | 2009-10-09 14:10:28 +0000 | [diff] [blame^] | 1 | choice |
| 2 | prompt "Mainboard model" | ||||
| 3 | depends on VENDOR_DIGITAL_LOGIC | ||||
| 4 | |||||
| 5 | source "src/mainboard/digitallogic/adl855pc/Kconfig" | ||||
| 6 | source "src/mainboard/digitallogic/msm586seg/Kconfig" | ||||
| 7 | source "src/mainboard/digitallogic/msm800sev/Kconfig" | ||||
| 8 | |||||
| 9 | endchoice | ||||
| 10 | |||||