X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fdebug.c;h=2388a2daa3f23c7773c21094122b13c17c413610;hb=5f9b230c5ca5f75dc7fe5619cdec350322cfef5f;hp=2082eedd5714824894f56cb6225c91d8008fc935;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

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