X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=7bf6dc7b5f53773bfaa3c178956c5704be97d26b;hb=2e05f3b8f738466246add183c55bcb17abf33ec9;hp=7587e292c93741749dd60acfab89a79f552e6aba;hpb=ff58148c2cfbbc82405dc9ec25056cc93c773083;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 7587e29..7bf6dc7 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.12 $
+# $Revision: 1.13 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -99,6 +99,7 @@ KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \
 	serial.c  reboot.c \
         paging.c vmx.c vmcs_gen.c vmcs.c \
 	 svm.c vmm.c vmm_util.c vmm_stubs.c \
+	vmcb.c vmm_mem.c vm_guest.c \
 	debug.c\
 	main.c