net_sockets: change service so it can be used for all the NICS.
[barrelfish] / usr / skb / programs / device_db.pl
index 5f76a17..4d23f20 100644 (file)
@@ -37,7 +37,7 @@
 %
 
 pci_driver{
-    binary: "e1000_net_sockets_server",
+    binary: "net_sockets_server",
     supported_cards:
     [ pci_card{ vendor: 16'8086, device: 16'1521, function: _, subvendor: _, subdevice: _ },
       pci_card{ vendor: 16'8086, device: 16'107d, function: _, subvendor: _, subdevice: _ },