Fix some of Peter's suggestions for the Nokia IP530.
[coreboot.git] / src / drivers / Kconfig
index 41899ccce18b2e05c1f8c56fed42d43ba264cc44..d2ff5d7d9f09e4abacb1ab3f985caec41edaa2f3 100644 (file)
@@ -23,21 +23,3 @@ config DRIVERS_SIL
        help
        It sets PCI class to IDE compatible native mode, allowing
        SeaBIOS, FILO etc... to boot from it.
-
-config DRIVERS_TI
-       bool
-
-config DRIVERS_TI_PCI1225
-       select DRIVERS_TI
-       bool
-
-config DRIVERS_TI_PCI1420
-       select DRIVERS_TI
-       bool
-
-config DRIVERS_TI_PCI1520
-       select DRIVERS_TI
-       bool
-
-config DRIVERS_DEC_21143PD
-       bool