X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=cdbf81a364507949ef05478fc2c614d0a7e2adc2;hb=d9c2f0c816ccafbad28d5d7c451bab2723db8fdf;hp=2be53eab91761847ca7c48dc296e7ff7ff55b3a3;hpb=52862a01560b5b12db9f8f7b6e16013a81a86939;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 2be53ea..cdbf81a 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -32,16 +32,18 @@ obj-y := \ vmm_cpuid.o \ vmm_xml.o \ vmm_mem_hook.o \ - vmm_mptable.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 \ @@ -65,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