X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=0999c36805e173f8bed48cf6ad5c2df6b9b6ad73;hp=cc336628cec77593da348ca277f84950a6698cad;hb=e63be432894673d56526c4f1c2cb4fa64daf01d9;hpb=c3714b74821dffe63b2fdcf10d8fe614c5ac9bb1

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index cc33662..0999c36 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -29,7 +29,8 @@ obj-y := \
 	vmm_time.o \
 	vmm_util.o \
 	vmm_xed.o \
-	vmm_binaries.o 
+	vmm_binaries.o \
+	vmm_sym_iface.o
 
 
 obj-$(CONFIG_SVM) +=    svm.o \