X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=f057439ad201973f73fffe471dfd5004c5aca396;hb=a5c5675571882a9b8a7594ef07fe303b195ef9ae;hp=5e6f18d31737709dc86d888e52ef755d6313814c;hpb=dd37e2c1fabd6d6856c7a2cdbd2f3f73fb034393;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 5e6f18d..f057439 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -1,6 +1,6 @@
 # Makefile for GeekOS kernel, userspace, and tools
 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.53 $
+# $Revision: 1.55 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -188,7 +188,8 @@ VMM_C_SRCS :=   vm_guest.c \
 		vmm_intr.c vmm_time.c \
 		vmm_shadow_paging.c vm_guest_mem.c  \
                 vm_dev.c vmm_dev_mgr.c vmm_decoder.c \
-                svm_halt.c svm_pause.c vmm_config.c \
+                svm_halt.c svm_pause.c vmm_config.c vmm_hashtable.c \
+		vmm_string.c vmm_emulator.c \
 		 $(DECODER_SRCS)
 #\
 #		vmx.c vmcs_gen.c vmcs.c