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

diff --git a/palacios/src/palacios/mmu/Makefile b/palacios/src/palacios/mmu/Makefile
index 5d92236..7b3a3ef 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-$(V3_CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
+obj-$(V3_CONFIG_SWAPBYPASS) += vmm_shdw_pg_swapbypass.o
+obj-$(V3_CONFIG_SHADOW_PAGING_CACHE1) += vmm_shdw_pg_cache.o