diff --git a/src/drivers/net/vxge/vxge.c b/src/drivers/net/vxge/vxge.c
new file mode 100644
index 00000000..a24932eb
--- /dev/null
+++ b/src/drivers/net/vxge/vxge.c
@@ -0,0 +1,18 @@
+/** @file Stub file for vxge driver
+ *
+ * This file drags in the rest of the driver for Neterion Inc's X3100 Series
+ * 10GbE PCIe I/O Virtualized Server Adapter, allowing the driver to be built
+ * as "vxge" even though the code is in vxge_* named files.
+ */
+
+FILE_LICENCE(GPL2_OR_LATER);
+
+#include <gpxe/pci.h>
+
+REQUIRE_OBJECT(vxge_main);
+
+/** vxge PCI IDs for util/parserom.pl which are put into bin/NIC */
+static struct pci_device_id vxge_nics[] __unused = {
+	/* If you change this, also adjust vxge_main_nics[] in vxge_main.c */
+	PCI_ROM(0x17d5, 0x5833, "vxge-x3100", "Neterion X3100 Series", 0),
+};
diff --git a/src/drivers/net/vxge/vxge_main.c b/src/drivers/net/vxge/vxge_main.c
index f69cdd2e..8f5ba475 100644
--- a/src/drivers/net/vxge/vxge_main.c
+++ b/src/drivers/net/vxge/vxge_main.c
@@ -712,13 +712,14 @@ static struct net_device_operations vxge_operations = {
 	.irq            = vxge_irq,
 };
 
-static struct pci_device_id vxge_nics[] = {
-	PCI_ROM(0x17d5, 0x5833, "vxge-x3100", "Neterion X3100 Series", 0),
+static struct pci_device_id vxge_main_nics[] = {
+	/* If you change this, also adjust vxge_nics[] in vxge.c */
+	PCI_ID(0x17d5, 0x5833, "vxge-x3100", "Neterion X3100 Series", 0),
 };
 
 struct pci_driver vxge_driver __pci_driver = {
-	.ids = vxge_nics,
-	.id_count = (sizeof(vxge_nics) / sizeof(vxge_nics[0])),
+	.ids = vxge_main_nics,
+	.id_count = (sizeof(vxge_main_nics) / sizeof(vxge_main_nics[0])),
 	.probe = vxge_probe,
 	.remove = vxge_remove,
 };