intel/i82801cx: Move HAVE_HARD_RESET to southbridge

[coreboot.git] / src / mainboard / intel / xe7501devkit / Kconfig

diff --git a/src/mainboard/intel/xe7501devkit/Kconfig b/src/mainboard/intel/xe7501devkit/Kconfig
index d2a9f4779f50f0056cc594cd134fdd43fa546c31..a743469cfade3f6d714f23efa96f08e434aa8d19 100644 (file)
--- a/src/mainboard/intel/xe7501devkit/Kconfig
+++ b/src/mainboard/intel/xe7501devkit/Kconfig
@@ -1,5 +1,7 @@
-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
@@ -7,60 +9,31 @@ config BOARD_INTEL_XE7501DEVKIT
        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_OPTION_TABLE
        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 "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