1 if BOARD_INTEL_XE7501DEVKIT
3 config BOARD_SPECIFIC_OPTIONS # dummy
6 select CPU_INTEL_SOCKET_MPGA604
7 select NORTHBRIDGE_INTEL_E7501
8 select SOUTHBRIDGE_INTEL_I82870
9 select SOUTHBRIDGE_INTEL_I82801CX
10 select SUPERIO_SMSC_LPC47B272
12 select HAVE_HARD_RESET
13 select BOARD_HAS_HARD_RESET
14 select HAVE_PIRQ_TABLE
17 select HAVE_ACPI_TABLES
18 select BOARD_ROMSIZE_KB_2048
22 default intel/xe7501devkit
24 config MAINBOARD_PART_NUMBER
26 default "XE7501devkit"
36 config MAX_PHYSICAL_CPUS
40 endif # BOARD_INTEL_XE7501DEVKIT