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

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)