From 6c24be470e7190a8888c8be707c2bc7d0290d204 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 13 Sep 2004 01:24:28 +0000
Subject: [PATCH] Flush serial device on panic.

---
 src/lib/debug.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/lib/debug.c b/src/lib/debug.c
index 2082eed..2388a2d 100644
--- a/src/lib/debug.c
+++ b/src/lib/debug.c
@@ -6,6 +6,7 @@
 #include <string.h>
 #ifdef KERNEL
 #include "threads/interrupt.h"
+#include "devices/serial.h"
 #else
 #include <syscall.h>
 #endif
@@ -81,6 +82,7 @@ debug_panic (const char *file, int line, const char *function,
   debug_backtrace ();
 
 #ifdef KERNEL
+  serial_flush ();
   for (;;);
 #else
   exit (1);
-- 
2.30.2