genode/repos/dde_ipxe/patches/add_devices.patch

diff --git a/src/drivers/net/intel.c b/src/drivers/net/intel.c
index c3a7d40..c85f070 100644
--- a/src/drivers/net/intel.c
+++ b/src/drivers/net/intel.c
@@ -953,6 +953,9 @@ static struct pci_device_id intel_nics[] = {
 	PCI_ROM ( 0x8086, 0x1526, "82576-5", "82576", 0 ),
 	PCI_ROM ( 0x8086, 0x1527, "82580-f2", "82580 Fiber", 0 ),
 	PCI_ROM ( 0x8086, 0x1533, "i210", "I210", 0 ),
+	PCI_ROM ( 0x8086, 0x153a, "i217lm", "I217LM", 0 ),
+	PCI_ROM ( 0x8086, 0x1559, "i218v", "I218V", 0 ),
+	PCI_ROM ( 0x8086, 0x155a, "i218lm", "I218LM", 0 ),
 	PCI_ROM ( 0x8086, 0x294c, "82566dc-2", "82566DC-2", 0 ),
 	PCI_ROM ( 0x8086, 0x2e6e, "cemedia", "CE Media Processor", 0 ),
 };