X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=929520f26166328e62b13fc0f3e04b3f473dbe28;hb=a3a2224fa5e7d5c9d0ef2fe29bae0ccfb373ba26;hp=8f2da64ac15266b95cefe577e7e7793e4e569e1b;hpb=9fb158db4a082626c5cef84686bff96a456bbe7a;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 8f2da64..929520f 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -264,6 +264,7 @@ VMM_OBJS := \
 	palacios/svm_lowlevel.o \
 	palacios/vmm_msr.o \
 	palacios/svm_msr.o \
+	palacios/vmm_socket.o \
 
 #		vmx.c vmcs_gen.c vmcs.c