From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Thu, 28 Feb 2008 00:22:05 +0000 (+0000)
Subject: added some vmm stuff
X-Git-Tag: working-cdboot-physical-but-not-qemu~67
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=72a450936e2da159d5febe1e96475493badd9070

added some vmm stuff
---

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 0f80a30..9401105 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.10 $
+# $Revision: 1.11 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -98,7 +98,8 @@ KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \
 	synch.c kthread.c \
 	serial.c  reboot.c \
         paging.c vmx.c vmcs_gen.c vmcs.c\
-	 svm.c vmm.c\
+	 svm.c vmm.c vmm_util.c \
+	debug.c\
 	main.c
 
 # Kernel object files built from C source files