-config BOARD_INTEL_XE7501DEVKIT
- bool "XE7501devkit"
+if BOARD_INTEL_XE7501DEVKIT
+
+config BOARD_SPECIFIC_OPTIONS # dummy
+ def_bool y
select ARCH_X86
select CPU_INTEL_SOCKET_MPGA604
select NORTHBRIDGE_INTEL_E7501
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_OPTION_TABLE
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
+endif # BOARD_INTEL_XE7501DEVKIT