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

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index f3a553e..1154059 100644
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -15,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
@@ -42,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