X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=e06c4811392af1d8cb2d81274d1e7ee91992575c;hb=4e5bdcc3b8c668e1ed6fe8cf3f595dbfdad8bb05;hp=3af02b7fb7c31735f9769591e45fb00397170e6d;hpb=4156ab67859b157da5d78ea6984f3af067bb7edd;p=palacios-OLD.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 3af02b7..e06c481 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -36,8 +36,11 @@ obj-y := \ vmm_mptable.o \ vmm_extensions.o \ vmm_mtrr.o \ + vmm_multitree.o \ +obj-$(CONFIG_INSPECTOR) += vmm_inspector.o + obj-$(CONFIG_XED) += vmm_xed.o obj-$(CONFIG_V3_DECODER) += vmm_v3dec.o