X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=2964a8817a3b0c2074aec5f897e8ede93b06f41c;hb=8c5fc25ccb8bb8a5b4fa62e9ea2792dcfd31b636;hp=76d62e9a26e77352b9b29d85f1065b8fb3f678d0;hpb=ee1279646a778613b23a42350b903ebb57c068f8;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 76d62e9..2964a88 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -31,7 +31,8 @@ obj-y := \
 	vmm_xed.o \
 	vmm_binaries.o \
 	vmm_cpuid.o \
-	vmm_xml.o 
+	vmm_xml.o \
+	vmm_muxer.o
 
 obj-$(CONFIG_SVM) +=    svm.o \
 			svm_io.o \
@@ -64,4 +65,4 @@ obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o
 obj-$(CONFIG_SYMCALL) += vmm_symcall.o
 obj-$(CONFIG_SYMMOD) += vmm_symmod.o
 
-obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o vmm_shdw_pg_swapbypass.o
+obj-$(CONFIG_SWAPBYPASS) += vmm_shdw_pg_swapbypass.o