64 bit guests initially supported

[palacios.git] / palacios / build / Makefile

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 6b8332b..aabd894 100644 (file)
--- 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
 
@@ -294,6 +296,7 @@ DEVICES_OBJS := \
        devices/ramdisk.o \
        devices/cdrom.o \
        devices/bochs_debug.o \
+       devices/os_debug.o \
 
 $(DEVICES_OBJS) :: EXTRA_CFLAGS = \
        $(JRLDEBUG) \