X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=cdbf81a364507949ef05478fc2c614d0a7e2adc2;hb=36973b53a5876a555eb59be0b0fb5f1f49686696;hp=8fba9395216b324513a9771e1292c46a713c921a;hpb=9d406e84682878859284200ae00251d27c53c845;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 8fba939..cdbf81a 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -33,14 +33,17 @@ obj-y := \
 	vmm_xml.o \
 	vmm_mem_hook.o \
 	vmm_extensions.o \
-	vmm_mtrr.o \
 	vmm_multitree.o \
-
-
+	vmm_bitmap.o \
+	vmm_barrier.o \
+	vmm_timeout.o \
 
 
 obj-$(V3_CONFIG_XED) +=	vmm_xed.o
 obj-$(V3_CONFIG_V3_DECODER) += vmm_v3dec.o
+obj-$(V3_CONFIG_QUIX86) += vmm_quix86.o
+obj-$(V3_CONFIG_QUIX86_DEBUG) += vmm_quix86.o
+
 
 obj-$(V3_CONFIG_SVM) +=    svm.o \
 			   svm_io.o \
@@ -64,12 +67,10 @@ obj-$(V3_CONFIG_VMX) +=  	vmx.o \
 
 
 
+obj-$(V3_CONFIG_CHECKPOINT) += vmm_checkpoint.o
 
 obj-$(V3_CONFIG_TELEMETRY) += vmm_telemetry.o 
 
-obj-$(V3_CONFIG_VNET) += vmm_vnet_core.o
-
-
 obj-$(V3_CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o
 obj-$(V3_CONFIG_SYMCALL) += vmm_symcall.o
 obj-$(V3_CONFIG_SYMMOD) += vmm_symmod.o