1 files changed, 10 insertions, 9 deletions
diff --git a/kern/panic.c b/kern/panic.c
index 7615850e..95b55de2 100644
--- a/kern/panic.c
+++ b/kern/panic.c
@@ -24,17 +24,18 @@
 void
 panic(const char *format, ...)
 {
-  va_list list;
+    va_list list;
 
-  cpu_intr_disable();
+    cpu_intr_disable();
+    cpu_halt_broadcast();
 
-  printk("\nkernel panic: ");
-  va_start(list, format);
-  vprintk(format, list);
+    printk("\nkernel panic: ");
+    va_start(list, format);
+    vprintk(format, list);
 
-  cpu_halt();
+    cpu_halt();
 
-  /*
-   * Never reached.
-   */
+    /*
+     * Never reached.
+     */
 }