X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FMakefile;h=1154059ed086cd62fc839b15db200b8745d03868;hb=8a3dbb70c29175bad79764a0b2f3961b98138bb2;hp=3eb4a874133b55779107109f75c1a512b4891a6a;hpb=94f67717b6461df514dc225ed84f03b44c44061b;p=palacios.git

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index 3eb4a87..1154059 100644
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -1,5 +1,6 @@
 obj-$(V3_CONFIG_APIC) += apic.o
 obj-$(V3_CONFIG_IO_APIC) += io_apic.o
+obj-$(V3_CONFIG_MPTABLE) += mptable.o
 obj-$(V3_CONFIG_PIT) += 8254.o
 obj-$(V3_CONFIG_PIC) += 8259a.o
 obj-$(V3_CONFIG_BOCHS_DEBUG) += bochs_debug.o
@@ -14,6 +15,7 @@ obj-$(V3_CONFIG_LINUX_VIRTIO_BLOCK) += lnx_virtio_blk.o
 obj-$(V3_CONFIG_LINUX_VIRTIO_SYM) += lnx_virtio_sym.o
 obj-$(V3_CONFIG_LINUX_VIRTIO_NET) += lnx_virtio_nic.o
 obj-$(V3_CONFIG_LINUX_VIRTIO_VNET) += lnx_virtio_vnet.o
+obj-$(V3_CONFIG_LINUX_VIRTIO_CONSOLE) += lnx_virtio_console.o
 obj-$(V3_CONFIG_VNET_NIC) += vnet_nic.o
 obj-$(V3_CONFIG_NVRAM) += nvram.o
 obj-$(V3_CONFIG_OS_DEBUG) += os_debug.o
@@ -41,8 +43,6 @@ obj-$(V3_CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o
 obj-$(V3_CONFIG_SYMMOD) += lnx_virtio_symmod.o
 obj-$(V3_CONFIG_CHAR_STREAM) += char_stream.o
 
-obj-$(V3_CONFIG_MCHECK) += mcheck.o
-
 obj-$(V3_CONFIG_VGA) += vga.o
 
 obj-$(V3_CONFIG_PCI_FRONT) += pci_front.o