if VENDOR_INTEL

choice
	prompt "Mainboard model"

config BOARD_INTEL_D810E2CB
	bool "D810E2CB"
config BOARD_INTEL_D945GCLF
	bool "D945GCLF"
config BOARD_INTEL_EAGLEHEIGHTS
	bool "EagleHeights"
config BOARD_INTEL_JARRELL
	bool "Jarrell (SE7520JR2)"
config BOARD_INTEL_MTARVON
	bool "3100 devkit (Mt. Arvon)"
config BOARD_INTEL_TRUXTON
	bool "EP80579 devkit (Truxton)"
config BOARD_INTEL_XE7501DEVKIT
	bool "XE7501devkit"

endchoice

source "src/mainboard/intel/d810e2cb/Kconfig"
source "src/mainboard/intel/d945gclf/Kconfig"
source "src/mainboard/intel/eagleheights/Kconfig"
source "src/mainboard/intel/jarrell/Kconfig"
source "src/mainboard/intel/mtarvon/Kconfig"
source "src/mainboard/intel/truxton/Kconfig"
source "src/mainboard/intel/xe7501devkit/Kconfig"

config MAINBOARD_VENDOR
	string
	default "Intel"

config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
	hex
	default 0x8086

endif # VENDOR_INTEL