X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=4c5573884043425e53b51186809b72b351b38ee8;hb=382829fe58cb541af371547325c5502e37032ecd;hp=49856232e96e9c2fa7050f47ba25e792eb8fd445;hpb=1f9fa9cd9662a600f49a3b12fcc02fd2ffca93c8;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 4985623..4c55738 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -71,4 +71,5 @@ obj-$(V3_CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o obj-$(V3_CONFIG_SYMCALL) += vmm_symcall.o obj-$(V3_CONFIG_SYMMOD) += vmm_symmod.o + obj-y += mmu/