This is a snapshot as the availability of the systems for this
[coreboot.git] / src / mainboard / dell / s1850 / Kconfig
index 4466e447639063631220db99baef7ba8346fe10b..7f4942d7ad80c5bbc2638e561e28c20183f7c2f5 100644 (file)
@@ -8,6 +8,7 @@ config BOARD_DELL_S1850
        select SUPERIO_NSC_PC8374
        select HAVE_PIRQ_TABLE
        select HAVE_MP_TABLE
+       select BOARD_ROMSIZE_KB_1024
 
 config MAINBOARD_DIR
        string
@@ -34,6 +35,12 @@ config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
        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