This is a snapshot as the availability of the systems for this
[coreboot.git] / src / mainboard / dell / s1850 / Kconfig
index a74471d41bf06b4ca184c105ce87f30c47b99664..7f4942d7ad80c5bbc2638e561e28c20183f7c2f5 100644 (file)
@@ -35,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