*** empty log message ***

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index adbf8cc..a8f76d7 100644 (file)
--- 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.18 $
+# $Revision: 1.19 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -87,6 +87,7 @@ KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \
         paging.c vmx.c vmcs_gen.c vmcs.c \
         svm.c svm_handler.c vmm.c vmm_util.c vmm_stubs.c svm_ctrl_regs.c \
        vmcb.c vmm_mem.c vm_guest.c vmm_paging.c vmm_io.c vmm_debug.c \
+       vmm_shadow_paging.c vm_guest_mem.c \
        debug.c\
        main.c