This is a snapshot as the availability of the systems for this

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

diff --git a/src/mainboard/dell/s1850/Kconfig b/src/mainboard/dell/s1850/Kconfig
index 545ec873f32dda8fe7425117a0c52dc850fbc24a..7f4942d7ad80c5bbc2638e561e28c20183f7c2f5 100644 (file)
--- a/src/mainboard/dell/s1850/Kconfig
+++ b/src/mainboard/dell/s1850/Kconfig
@@ -1,13 +1,14 @@
 config BOARD_DELL_S1850
-       bool "Dell S1850"
+       bool "PowerEdge 1850"
        select ARCH_X86
        select CPU_INTEL_SOCKET_MPGA604
        select NORTHBRIDGE_INTEL_E7520
        select SOUTHBRIDGE_INTEL_I82801ER
+       select SOUTHBRIDGE_INTEL_PXHD
        select SUPERIO_NSC_PC8374
-       select PIRQ_TABLE
-       help
-         Dell S1850mainboard.
+       select HAVE_PIRQ_TABLE
+       select HAVE_MP_TABLE
+       select BOARD_ROMSIZE_KB_1024
 
 config MAINBOARD_DIR
        string
@@ -34,20 +35,11 @@ config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
        default 0x016c
        depends on BOARD_DELL_S1850
 
-config USE_FAILOVER_IMAGE
-       bool
-       default n
-       depends on BOARD_DELL_S1850
-
-config HAVE_FAILOVER_BOOT
-       bool
-       default n
+config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
+       hex
+       default 0x1028
        depends on BOARD_DELL_S1850
 
-config USE_FAILOVER_IMAGE
-       bool
-       default n
-       depends on BOARD_DELL_S1850
 
 config MAX_CPUS
        int
@@ -64,3 +56,7 @@ config USE_INIT
        default n
        depends on BOARD_DELL_S1850
 
+config IRQ_SLOT_COUNT
+       int
+       default 9
+       depends on BOARD_DELL_S1850