X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=a80ec28f5e5a1e5ec9ab5faf55c4654cf87bfcaf;hb=52a58bb7bdf06ca22ad6883f8095f8aa5ca4b8a4;hp=7e7c8a29fbe00905dd76599576af807dcfe3ed96;hpb=f1d8183ae8c4390dfc74cb2780dd2058c569fc57;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 7e7c8a2..a80ec28 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -312,6 +312,8 @@ VMM_OBJS := \
 	palacios/vmx_handler.o \
 	palacios/vmx_lowlevel.o \
 	palacios/vmxassist.o \
+	palacios/vmx_io.o \
+	palacios/vmx_msr.o \
 	$(OBJ_FILES)