X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=1b2cf5ddf901dc7c2cf5e892f38b787fd2565c0e;hb=99681a48f662b5a8371f20b255b3789012d2a9fa;hp=6b8332bbcab011d72c77ff5e8189b70efc063dac;hpb=dc450df7818a872a3e8a3725ec97bdc273756b06;p=palacios-OLD.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 6b8332b..1b2cf5d 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -3,7 +3,7 @@
 #  Northwestern University 
 # (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
 # (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
-# (c) 2008, Lei Xia <xiaxlei@gmail.com>
+# (c) 2008, Lei Xia <lxia@northwestern.edu>
 # (c) 2008, The V3VEE Project <http://www.v3vee.org> 
 #
 # Based on GeekOS Makefile:
@@ -266,6 +266,8 @@ VMM_OBJS := \
 	palacios/svm_msr.o \
 	palacios/vmm_socket.o \
 	palacios/vmm_xed.o \
+	palacios/vmm_rbtree.o \
+	palacios/vmm_profiler.o \
 
 #		vmx.c vmcs_gen.c vmcs.c