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 (file)
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 (file)
--- 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;