From: Peter Dinda <pdinda@northwestern.edu>
Date: Fri, 12 Mar 2010 21:36:39 +0000 (-0600)
Subject: new copy of manual
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=87b1679efe8bee960b65cfd730188ccc94966b71

new copy of manual
---

diff --git a/manual/network_boot/Network_Booting_Kitten_using_PXE.pdf b/manual/network_boot/Network_Booting_Kitten_using_PXE.pdf
index 59a984d..7155b41 100644
Binary files a/manual/network_boot/Network_Booting_Kitten_using_PXE.pdf and b/manual/network_boot/Network_Booting_Kitten_using_PXE.pdf differ
diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index acb5353..9f72514 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -419,6 +419,8 @@ int v3_svm_enter(struct guest_info * info) {
     // disable global interrupts for vm state transition
     v3_clgi();
 
+    /// checkpoint 
+
     // Synchronize the guest state to the VMCB
     guest_state->cr0 = info->ctrl_regs.cr0;
     guest_state->cr2 = info->ctrl_regs.cr2;