diff options
Diffstat (limited to 'kernel/console.c')
-rw-r--r-- | kernel/console.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/console.c b/kernel/console.c index 2b1ed3c..1885593 100644 --- a/kernel/console.c +++ b/kernel/console.c @@ -66,6 +66,12 @@ 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++){ |