X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=0ca0f57915ff38b3314772e5cdb90111faceb0a7;hb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;hp=2e2571ab703fae5b41bcf83f67fa115233fe78d3;hpb=5ef0e92d52b2698fd2706cd7cfc2b01526a6e319;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 2e2571a..0ca0f57 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -91,4 +91,8 @@ obj-$(V3_CONFIG_SYMCALL) += vmm_symcall.o obj-$(V3_CONFIG_SYMMOD) += vmm_symmod.o +obj-$(V3_CONFIG_MEM_TRACK) += vmm_mem_track.o + +obj-$(V3_CONFIG_HVM) += vmm_hvm.o vmm_hvm_lowlevel.o + obj-y += mmu/