DRIVERS_ipxe += $(DRIVERS_isa_net)
DRIVERS_ipxe += $(DRIVERS_pci_net)
DRIVERS_ipxe += $(DRIVERS_pci_infiniband)
-DRIVERS_ipxe += $(DRIVERS_pci_xen)
-DRIVERS_ipxe += $(DRIVERS_hyperv)
# Raspberry Pi
#
DRIVERS_rpi += smsc95xx lan78xx
+# Virtualised NIC drivers with hypervisor-specific bus types
+#
+DRIVERS_vmbus_net += netvsc
+DRIVERS_xenbus_net += netfront
+
###############################################################################
#
# Drag in the bulk of the build system
#
CFLAGS_lkrnprefix += -DVERSION="\"$(VERSION)\""
+# Include Xen driver in the all-drivers build
+#
+DRIVERS_ipxe += $(DRIVERS_xenbus_net)
+
# Include Hyper-V driver in the all-drivers build
#
-DRIVERS_hyperv += hyperv
+DRIVERS_ipxe += $(DRIVERS_vmbus_net)
xenbus_remove_device ( xendev );
}
}
+
+/* Drag in objects via xenbus_set_state() */
+REQUIRING_SYMBOL ( xenbus_set_state );
+
+/* Drag in backing hardware device */
+REQUIRE_OBJECT ( hvm );