X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fmmu%2FMakefile;h=0089d17557b187c8eb47cf300970a7b88f507a5b;hb=afca783e03bd737fe7bb02d498644df30bf5d4d9;hp=5d92236f0bcf91b9a8ba8a694dca4638cf137f31;hpb=fb16ffd793b51e356bd17a35b3929adbadd88e23;p=palacios.git

diff --git a/palacios/src/palacios/mmu/Makefile b/palacios/src/palacios/mmu/Makefile
index 5d92236..0089d17 100644
--- a/palacios/src/palacios/mmu/Makefile
+++ b/palacios/src/palacios/mmu/Makefile
@@ -1,2 +1,3 @@
 obj-$(CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
 obj-$(CONFIG_SWAPBYPASS) += vmm_shdw_pg_swapbypass.o
+obj-$(CONFIG_SHADOW_PAGING_CACHE1) += vmm_shdw_pg_cache.o