From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Thu, 12 Aug 2010 20:17:10 +0000 (-0500)
Subject: linux fixes
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=39fd3293052f6e0aecdfcedb7068d4bec870c383;p=palacios.git

linux fixes
---

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 52497e1..2592e9c 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -62,6 +62,7 @@ obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
 obj-$(CONFIG_VNET) += vmm_vnet.o
 obj-$(CONFIG_FILE) += vmm_file.o
+obj-$(CONFIG_CONSOLE) += vmm_console.o
 
 
 obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o