X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=dd40f4054e9570f1e4ea9626ac21b89db51f587d;hb=3586c3bd6260bf79c57baebf66a26d7e8158d411;hp=dee8c0dbad9fc9b975e8ac3c8ab43294c11db282;hpb=ce0f119828348c3c57a00c4aa268a8a223ccd7f8;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index dee8c0d..dd40f40 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -93,4 +93,6 @@ obj-$(V3_CONFIG_SYMMOD) += vmm_symmod.o
 
 obj-$(V3_CONFIG_MEM_TRACK) += vmm_mem_track.o
 
+obj-$(V3_CONFIG_HVM) += vmm_hvm.o
+
 obj-y += mmu/