X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;fp=palacios%2Fsrc%2Fpalacios%2FMakefile;h=edd13a0d56c6cd27760dc9ef3b402e1557897cb8;hp=c669cd00748720a024c45c95a9a778507767d33a;hb=de6084de2145f3889a16d8498e5e7d44e96e0162;hpb=87b1679efe8bee960b65cfd730188ccc94966b71

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index c669cd0..edd13a0 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -56,6 +56,7 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
 obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o 
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
+obj-$(CONFIG_CONSOLE) +=  vmm_console.o
 obj-$(CONFIG_VNET) += vmm_vnet.o
 
 obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o