X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=52497e109afacb828b132f7c05359b1840d3f331;hb=e0c113197cc4f189d1e2d34ede358b7733d73e4d;hp=c081e91e845bcf1b5a31e5849fb9ac3831e51073;hpb=926e4e742c02e6f1255c8da243494c8bbddbf752;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index c081e91..52497e1 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -31,7 +31,10 @@ obj-y := \
 	vmm_xed.o \
 	vmm_binaries.o \
 	vmm_cpuid.o \
-	vmm_xml.o 
+	vmm_xml.o \
+	vmm_muxer.o \
+	vmm_mem_hook.o \
+	vmm_mptable.o \
 
 obj-$(CONFIG_SVM) +=    svm.o \
 			svm_io.o \
@@ -52,14 +55,18 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 			vmx_assist.o
 
 
-obj-$(CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
 
 
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
 obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o 
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
 obj-$(CONFIG_VNET) += vmm_vnet.o
+obj-$(CONFIG_FILE) += vmm_file.o
 
-obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o
 
-obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o 
+obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o
+obj-$(CONFIG_SYMCALL) += vmm_symcall.o
+obj-$(CONFIG_SYMMOD) += vmm_symmod.o
+
+
+obj-y += mmu/