pci stuff: too much hax now, trying rd890 patch (not merged yet)
[coreboot.git] / src / mainboard / intel / Kconfig
1 if VENDOR_INTEL
2
3 choice
4         prompt "Mainboard model"
5
6 config BOARD_INTEL_D810E2CB
7         bool "D810E2CB"
8 config BOARD_INTEL_D945GCLF
9         bool "D945GCLF"
10 config BOARD_INTEL_EAGLEHEIGHTS
11         bool "EagleHeights"
12 config BOARD_INTEL_JARRELL
13         bool "Jarrell (SE7520JR2)"
14 config BOARD_INTEL_MTARVON
15         bool "3100 devkit (Mt. Arvon)"
16 config BOARD_INTEL_TRUXTON
17         bool "EP80579 devkit (Truxton)"
18 config BOARD_INTEL_XE7501DEVKIT
19         bool "XE7501devkit"
20
21 endchoice
22
23 source "src/mainboard/intel/d810e2cb/Kconfig"
24 source "src/mainboard/intel/d945gclf/Kconfig"
25 source "src/mainboard/intel/eagleheights/Kconfig"
26 source "src/mainboard/intel/jarrell/Kconfig"
27 source "src/mainboard/intel/mtarvon/Kconfig"
28 source "src/mainboard/intel/truxton/Kconfig"
29 source "src/mainboard/intel/xe7501devkit/Kconfig"
30
31 config MAINBOARD_VENDOR
32         string
33         default "Intel"
34
35 endif # VENDOR_INTEL