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

diff --git a/palacios/src/palacios/mmu/Makefile b/palacios/src/palacios/mmu/Makefile
index 0089d17..c49b0f5 100644
--- a/palacios/src/palacios/mmu/Makefile
+++ b/palacios/src/palacios/mmu/Makefile
@@ -1,3 +1,6 @@
-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
+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_CACHE) += vmm_shdw_pg_cache.o
+
+
+#obj-$(V3_CONFIG_SHADOW_PAGING_KVM) += vmm_shdw_pg_kvm.o