X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=d01dd6afb98910b0026e0a2ce9c89038fae00e2d;hb=cd012ba87f57c1c694038f1a17f249f90f9a2be8;hp=826c405f76fa7acd0b71784962e65263bc52298d;hpb=d34450b1e6fe3c2e1295c268c1722c669ba8d545;p=palacios-OLD.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 826c405..d01dd6a 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -10,6 +10,7 @@ obj-y := \
 	vmm_direct_paging.o \
 	vmm_emulator.o \
 	vmm_excp.o \
+	vmm_halt.o \
 	vmm_hashtable.o \
 	vmm_host_events.o \
 	vmm_hypercall.o \
@@ -28,14 +29,12 @@ obj-y := \
 	vmm_time.o \
 	vmm_util.o \
 	vmm_xed.o \
-	vmm_instrument.o \
-	vmm_profiler.o \
-	vmm_socket.o \
-	vmm_binaries.o 
+	vmm_binaries.o \
+	vmm_cpuid.o \
+	vmm_sym_iface.o \
 
 
 obj-$(CONFIG_SVM) +=    svm.o \
-			svm_halt.o \
 			svm_io.o \
 			svm_lowlevel.o \
 			svm_msr.o \
@@ -48,10 +47,15 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 			vmx_handler.o \
 			vmx_io.o \
 			vmx_lowlevel.o \
-			vmx_msr.o
+			vmx_msr.o \
+			vmcs.o \
+			vmx_ctrl_regs.o \
+			vmx_assist.o
 
 
-#obj-$(CONFIG_INSTRUMENT) += 	vmm_instrument.o \
-#				vmm_profiler 
 
-#obj-$(CONFIG_SOCKET) +=  vmm_socket.o
+obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
+obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o 
+obj-$(CONFIG_SOCKET) +=  vmm_socket.o
+
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o