4 prompt "Mainboard model"
6 config BOARD_INTEL_D810E2CB
8 config BOARD_INTEL_D945GCLF
10 config BOARD_INTEL_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
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"
31 config MAINBOARD_VENDOR