From: Peter Dinda <pdinda@northwestern.edu>
Date: Sat, 19 Jul 2008 01:03:13 +0000 (+0000)
Subject: Makefile now includes svm_pause and DEBUG=1 by default
X-Git-Tag: boots-puppy-iso-to-command-prompt~8
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=6f8e1e8902d5abe9286e723468daa80fe0ee42aa

Makefile now includes svm_pause and DEBUG=1 by default
c.img is a DOS install, done completly from within the VMM
---

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index afbbafc..e3b6269 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.43 $
+# $Revision: 1.44 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -139,7 +139,7 @@ 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_halt.c svm_pause.c
 #\
 #		vmx.c vmcs_gen.c vmcs.c
 
diff --git a/palacios/build/c.img b/palacios/build/c.img
index b0009b3..93e2feb 100644
Binary files a/palacios/build/c.img and b/palacios/build/c.img differ