1 files changed, 1 insertions, 0 deletions
diff --git a/kern/panic.c b/kern/panic.c
index c610e3fa..6c94f87a 100644
--- a/kern/panic.c
+++ b/kern/panic.c
@@ -29,6 +29,7 @@ static unsigned int panic_done;
 void
 panic(const char *format, ...)
 {
+cpu_halt();
     va_list list;
     unsigned long already_done;