1 files changed, 0 insertions, 13 deletions
diff --git a/kernel/console.c b/kernel/console.c
index 1885593..d606ed2 100644
--- a/kernel/console.c
+++ b/kernel/console.c
@@ -33,13 +33,6 @@
 void
 consputc(int c)
 {
-  extern volatile int panicked; // from printf.c
-
-  if(panicked){
-    for(;;)
-      ;
-  }
-
   if(c == BACKSPACE){
     // if the user typed backspace, overwrite with a space.
     uartputc_sync('\b'); uartputc_sync(' '); uartputc_sync('\b');
@@ -66,12 +59,6 @@ int
 consolewrite(int user_src, uint64 src, int n)
 {
   int i;
-  extern volatile int panicked; // from printf.c
-
-  if(panicked){
-    for(;;)
-      ;
-  }
 
   acquire(&cons.lock);
   for(i = 0; i < n; i++){