X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=c081e91e845bcf1b5a31e5849fb9ac3831e51073;hb=926e4e742c02e6f1255c8da243494c8bbddbf752;hp=c669cd00748720a024c45c95a9a778507767d33a;hpb=f1e6da297651aadbc037f1635a82f41285a0a424;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index c669cd0..c081e91 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -52,6 +52,8 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 			vmx_assist.o
 
 
+obj-$(CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
+
 
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
 obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o