From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 13 Sep 2004 01:24:28 +0000 (+0000)
Subject: Flush serial device on panic.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=6c24be470e7190a8888c8be707c2bc7d0290d204

Flush serial device on panic.
---

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