Add Virtio Network device and add virio_net config option

[palacios.git] / palacios / src / devices / Makefile

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index 0e716aa..d83960a 100644 (file)
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -10,6 +10,7 @@ obj-$(CONFIG_KEYBOARD) += keyboard.o
 obj-$(CONFIG_LINUX_VIRTIO_BALLOON) += lnx_virtio_balloon.o
 obj-$(CONFIG_LINUX_VIRTIO_BLOCK) += lnx_virtio_blk.o
 obj-$(CONFIG_LINUX_VIRTIO_SYM) += lnx_virtio_sym.o
+obj-$(CONFIG_LINUX_VIRTIO_NET) += lnx_virtio_nic.o
 obj-$(CONFIG_NVRAM) += nvram.o
 obj-$(CONFIG_OS_DEBUG) += os_debug.o
 obj-$(CONFIG_PCI) += pci.o
@@ -26,4 +27,4 @@ obj-$(CONFIG_NET_HD) += net_hd.o
 obj-$(CONFIG_CGA) += cga.o
 obj-$(CONFIG_TELNET_CONSOLE) += telnet_cons.o
 
-obj-$(CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o
\ No newline at end of file
+obj-$(CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o