X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=2592e9caa8b5e9c79e00468ba2b37000756c1358;hb=92edfe79109b322a996a9ad06d568b5555862003;hp=be3458968d246c8332f40317ad784a689d5860f6;hpb=8a8e371fd9be4513214a0013063d87ecbc5582c1;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index be34589..2592e9c 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,16 +55,19 @@ 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_CONSOLE) += vmm_console.o
+
 
 obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o
 obj-$(CONFIG_SYMCALL) += vmm_symcall.o
 obj-$(CONFIG_SYMMOD) += vmm_symmod.o
 
-obj-$(CONFIG_SWAPBYPASS) += vmm_shdw_pg_swapbypass.o
+
+obj-y += mmu/