3 files changed, 0 insertions, 47 deletions
diff --git a/src/drivers/dec/21143/21143.c b/src/drivers/dec/21143/21143.c
deleted file mode 100644
index 9047104ca8..0000000000
--- a/src/drivers/dec/21143/21143.c
+++ /dev/null
@@ -1,40 +0,0 @@
-/* SPDX-License-Identifier: GPL-2.0-or-later */
-
-#include <device/device.h>
-#include <device/pci_def.h>
-#include <device/pci.h>
-#include <device/pci_ops.h>
-#include <device/pci_ids.h>
-#include <console/console.h>
-
-static void dec_21143_enable(struct device *dev)
-{
-	printk(BIOS_DEBUG, "Initializing DECchip 21143\n");
-
-	// The resource allocator should do this. If not, it needs to be fixed
-	// differently.
-#if 0
-	/* Command and status configuration (offset 0x04) */
-	pci_write_config32(dev, 0x04, 0x02800107);
-	printk(BIOS_DEBUG, "0x04 = %08x (07 01 80 02)\n",
-	       pci_read_config32(dev, 0x04));
-
-	/* Cache line size (offset 0x0C) */
-	pci_write_config8(dev, 0x0C, 0x00);
-	printk(BIOS_DEBUG, "0x0c = %08x (00)\n",
-	       pci_read_config8(dev, 0x0C));
-#endif
-}
-
-static struct device_operations dec_21143_ops = {
-	.read_resources   = pci_dev_read_resources,
-	.set_resources    = pci_dev_set_resources,
-	.enable_resources = pci_dev_enable_resources,
-	.init             = dec_21143_enable,
-};
-
-static const struct pci_driver dec_21143_driver __pci_driver = {
-	.ops    = &dec_21143_ops,
-	.vendor = PCI_VENDOR_ID_DEC,
-	.device = PCI_DEVICE_ID_DEC_21142, // FIXME wrong ID?
-};
diff --git a/src/drivers/dec/21143/Kconfig b/src/drivers/dec/21143/Kconfig
deleted file mode 100644
index 82604a65ec..0000000000
--- a/src/drivers/dec/21143/Kconfig
+++ /dev/null
@@ -1,2 +0,0 @@
-config DRIVERS_DEC_21143
-	bool
diff --git a/src/drivers/dec/21143/Makefile.inc b/src/drivers/dec/21143/Makefile.inc
deleted file mode 100644
index b7382e40e3..0000000000
--- a/src/drivers/dec/21143/Makefile.inc
+++ /dev/null
@@ -1,5 +0,0 @@
-ifeq ($(CONFIG_DRIVERS_DEC_21143),y)
-
-ramstage-y += 21143.c
-
-endif