nit

diff --git a/console.c b/console.c
index bd7d486ba4b9787463ea3e5f3b4b729af4f5e567..86c3455dce239faffd8772100c190ff311d563ca 100644 (file)
--- a/console.c
+++ b/console.c
@@ -292,7 +292,7 @@ panic(char *s)
   
   __asm __volatile("cli");
   use_console_lock = 0;
-  cprintf("panic (%d): ", cpu());
+  cprintf("cpu%d: panic: ", cpu());
   cprintf(s, 0);
   cprintf("\n", 0);
   getcallerpcs(&s, pcs);