X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=e06c4811392af1d8cb2d81274d1e7ee91992575c;hb=481925dd42fdf715897007abbc32d81bda2d2586;hp=3af02b7fb7c31735f9769591e45fb00397170e6d;hpb=95e34e194b26c1ea80c0f6bbffaf6df6d1f71c62;p=palacios.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