1 files changed, 8 insertions, 0 deletions
diff --git a/src/kernel/misc.C b/src/kernel/misc.C
index 7357bb565..082e45020 100644
--- a/src/kernel/misc.C
+++ b/src/kernel/misc.C
@@ -57,6 +57,14 @@ namespace KernelMisc
                          :: "r" (scratch_address), "r" (status));
         }
 
+        // dump whatever is left in g_tracBinary
+        MAGIC_INSTRUCTION(MAGIC_CONTINUOUS_TRACE);
+
+        // See magic_instruction_callback() in 
+        // src/build/debug/simics-debug-framework.py 
+        // for exactly how this is handled.
+        MAGIC_INSTRUCTION(MAGIC_SHUTDOWN);
+
         while(1)
         {
             doze();