intel/i82801ex: Move HAVE_HARD_RESET to southbridge

[coreboot.git] / src / mainboard / dell / s1850 / Kconfig

diff --git a/src/mainboard/dell/s1850/Kconfig b/src/mainboard/dell/s1850/Kconfig
index 4236c23e8fb44d89724aa4508e1d2a045e220a3a..cd4a6a9483790cf8b22c0012463bc874d48e54e9 100644 (file)
--- a/src/mainboard/dell/s1850/Kconfig
+++ b/src/mainboard/dell/s1850/Kconfig
@@ -1,62 +1,44 @@
-config BOARD_DELL_S1850
-       bool "PowerEdge 1850"
+if BOARD_DELL_S1850
+
+config BOARD_SPECIFIC_OPTIONS # dummy
+       def_bool y
        select ARCH_X86
        select CPU_INTEL_SOCKET_MPGA604
        select NORTHBRIDGE_INTEL_E7520
-       select SOUTHBRIDGE_INTEL_I82801ER
+       select SOUTHBRIDGE_INTEL_I82801EX
        select SOUTHBRIDGE_INTEL_PXHD
        select SUPERIO_NSC_PC8374
+       select ROMCC
+       select HAVE_OPTION_TABLE
+       select BOARD_HAS_HARD_RESET
        select HAVE_PIRQ_TABLE
        select HAVE_MP_TABLE
+       select USE_WATCHDOG_ON_BOOT
        select BOARD_ROMSIZE_KB_1024
+       select UDELAY_TSC
 
 config MAINBOARD_DIR
        string
        default dell/s1850
-       depends on BOARD_DELL_S1850
-
-config LB_CKS_RANGE_END
-       int
-       default 122
-       depends on BOARD_DELL_S1850
-
-config LB_CKS_LOC
-       int
-        default 123
-       depends on BOARD_DELL_S1850
 
 config MAINBOARD_PART_NUMBER
        string
        default "PowerEdge 1850"
-       depends on BOARD_DELL_S1850
-
-config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
-       hex
-       default 0x016c
-       depends on BOARD_DELL_S1850
-
-config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
-       hex
-       default 0x1028
-       depends on BOARD_DELL_S1850
-
 
 config MAX_CPUS
        int
-       default 2
-       depends on BOARD_DELL_S1850
+       default 4
 
 config MAX_PHYSICAL_CPUS
        int
-       default 2
-       depends on BOARD_DELL_S1850
-
-config USE_INIT
-       bool
-       default n
-       depends on BOARD_DELL_S1850
+       default 1
 
 config IRQ_SLOT_COUNT
        int
        default 9
-       depends on BOARD_DELL_S1850
+
+config DIMM_MAP_LOGICAL
+       hex
+       default 0x2841
+
+endif # BOARD_DELL_S1850