X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=457f0783f099bd3981391f874b68ad779e02ac98;hp=abf800827b32767280ea99633892c7137b74885c;hb=496b928649b2a63c3e21e099ce914ec00b3d7227;hpb=182ea639d7389d7e7e660055a4c460bf8a712ecf

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index abf8008..457f078 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -268,6 +268,7 @@ VMM_OBJS := \
 	palacios/vmm_xed.o \
 	palacios/vmm_rbtree.o \
 	palacios/vmm_profiler.o \
+	palacios/vmm_direct_paging.o \
 
 #		vmx.c vmcs_gen.c vmcs.c