config BOARD_INTEL_XE7501DEVKIT
	bool "XE7501devkit"
	select ARCH_X86
	select CPU_INTEL_SOCKET_MPGA604
	select NORTHBRIDGE_INTEL_E7501
	select SOUTHBRIDGE_INTEL_I82870
	select SOUTHBRIDGE_INTEL_I82801CX
	select SUPERIO_SMSC_LPC47B272
	select ROMCC
	select HAVE_HARD_RESET
	select BOARD_HAS_HARD_RESET
	select HAVE_PIRQ_TABLE
	select HAVE_MP_TABLE
	select UDELAY_TSC
	select HAVE_ACPI_TABLES
	select BOARD_ROMSIZE_KB_2048

config MAINBOARD_DIR
	string
	default intel/xe7501devkit
	depends on BOARD_INTEL_XE7501DEVKIT

config MAINBOARD_PART_NUMBER
	string
	default "XE7501devkit"
	depends on BOARD_INTEL_XE7501DEVKIT

config IRQ_SLOT_COUNT
	int
	default 12
	depends on BOARD_INTEL_XE7501DEVKIT

config MAX_CPUS
	int
	default 2
	depends on BOARD_INTEL_XE7501DEVKIT

config MAX_PHYSICAL_CPUS
	int
	default 2
	depends on BOARD_INTEL_XE7501DEVKIT

config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
	hex
	default 0x8086
	depends on BOARD_INTEL_XE7501DEVKIT

config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
	hex
	default 0x2480
	depends on BOARD_INTEL_XE7501DEVKIT

