X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Flib%2Fkernel%2Fdebug.c;h=93c395208068801dcdbca3b4dffbec7b64c74712;hp=f6fb9dde1c4bb7090b72c051f8a4e7733f3fb08a;hb=53a7f5d0952a4595f252247f5ee3d017468eb57e;hpb=e5439c03526c8e2881b0430ddbfe02812bee2e68

diff --git a/src/lib/kernel/debug.c b/src/lib/kernel/debug.c
index f6fb9dd..93c3952 100644
--- a/src/lib/kernel/debug.c
+++ b/src/lib/kernel/debug.c
@@ -1,4 +1,5 @@
 #include <debug.h>
+#include <console.h>
 #include <stdarg.h>
 #include <stdbool.h>
 #include <stddef.h>
@@ -18,6 +19,7 @@ debug_panic (const char *file, int line, const char *function,
   va_list args;
 
   intr_disable ();
+  console_panic ();
 
   level++;
   if (level == 1)