X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=0ca0f57915ff38b3314772e5cdb90111faceb0a7;hp=dd40f4054e9570f1e4ea9626ac21b89db51f587d;hb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;hpb=d240aa16811174593dc6e6ca9c796db05948c353

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index dd40f40..0ca0f57 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -93,6 +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-$(V3_CONFIG_HVM) += vmm_hvm.o vmm_hvm_lowlevel.o
 
 obj-y += mmu/