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

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 6b8332b..3969547 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -266,6 +266,7 @@ VMM_OBJS := \
 	palacios/svm_msr.o \
 	palacios/vmm_socket.o \
 	palacios/vmm_xed.o \
+	palacios/vmm_rbtree.o \
 
 #		vmx.c vmcs_gen.c vmcs.c