-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_I82870
- select SOUTHBRIDGE_INTEL_I82801CA
+ select SOUTHBRIDGE_INTEL_I82801CX
select SUPERIO_SMSC_LPC47B272
+ select ROMCC
+ 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 LB_CKS_RANGE_START
- int
- default 128
- depends on BOARD_INTEL_XE7501DEVKIT
-
-config LB_CKS_RANGE_END
- int
- default 130
- depends on BOARD_INTEL_XE7501DEVKIT
-
-config LB_CKS_LOC
- int
- default 131
- depends on BOARD_INTEL_XE7501DEVKIT
config MAINBOARD_PART_NUMBER
string
- default "EIDXE7501DEVKIT"
- depends on BOARD_INTEL_XE7501DEVKIT
-
-config HAVE_OPTION_TABLE
- bool
- default y
- depends on BOARD_INTEL_XE7501DEVKIT
+ default "XE7501devkit"
config IRQ_SLOT_COUNT
int
default 12
- depends on BOARD_INTEL_XE7501DEVKIT
+
+config MAX_CPUS
+ int
+ default 2
+
+config MAX_PHYSICAL_CPUS
+ int
+ default 2
+
+endif # BOARD_INTEL_XE7501DEVKIT