X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=756b02095db145243146c6ea5617d73eda41c0aa;hb=fe9b69407ae9ac7aeb6a9d1500c89d48953864ac;hp=8e44ae5d9c29881eaf5391460096725375ef445f;hpb=adee0fafaa51f4bf28abe7461006be9b9d3dbceb;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 8e44ae5..756b020 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -28,7 +28,6 @@ obj-y := \ vmm_string.o \ vmm_time.o \ vmm_util.o \ - vmm_xed.o \ vmm_binaries.o \ vmm_cpuid.o \ vmm_xml.o \ @@ -39,6 +38,10 @@ obj-y := \ vmm_mtrr.o \ + +obj-$(CONFIG_XED) += vmm_xed.o +obj-$(CONFIG_V3_DECODER) += vmm_v3dec.o + obj-$(CONFIG_SVM) += svm.o \ svm_io.o \ svm_lowlevel.o \