X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FMakefile;h=f5b40be41ef35bf6c1805bf7a1a32cde94e00e69;hb=0a7690f54cb5bda83780dac26ce433ad24b1d766;hp=2c5a0669429ad2731f199592d292d0c42f2d0b05;hpb=bc5ee3e07affac4810227d61c407011c05298518;p=palacios.git

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index 2c5a066..f5b40be 100644
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -25,6 +25,7 @@ obj-$(CONFIG_DISK_MODEL) += disk_model.o
 obj-$(CONFIG_NIC_BRIDGE) += nic_bridge.o
 
 obj-$(CONFIG_NE2K) += ne2k.o
+obj-$(CONFIG_RTL8139) += rtl8139.o
 
 obj-$(CONFIG_TMPDISK) += tmpdisk.o
 obj-$(CONFIG_RAMDISK) += ramdisk.o 
@@ -39,3 +40,8 @@ obj-$(CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o
 
 obj-$(CONFIG_SYMMOD) += lnx_virtio_symmod.o
 obj-$(CONFIG_CHAR_STREAM) += char_stream.o
+
+obj-$(CONFIG_MCHECK) += mcheck.o
+
+obj-$(CONFIG_VGA) += vga.o
+