added initial 64 bit decoding support

[palacios-OLD.git] / palacios / src / palacios / Makefile

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index f3b2c0c..756b020 100644 (file)
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -28,13 +28,19 @@ obj-y := \
        vmm_string.o \
        vmm_time.o \
        vmm_util.o \
-       vmm_xed.o \
        vmm_binaries.o \
        vmm_cpuid.o \
        vmm_xml.o \
        vmm_muxer.o \
        vmm_mem_hook.o \
        vmm_mptable.o \
+       vmm_extensions.o \
+       vmm_mtrr.o \
+
+
+
+obj-$(CONFIG_XED) +=   vmm_xed.o
+obj-$(CONFIG_V3_DECODER) += vmm_v3dec.o
 
 obj-$(CONFIG_SVM) +=    svm.o \
                        svm_io.o \