1 files changed, 1 insertions, 1 deletions
diff --git a/defs.h b/defs.h
index ef28a01..7de2fe1 100644
--- a/defs.h
+++ b/defs.h
@@ -6,7 +6,7 @@ void kinit(void);
 // console.c
 void console_init(void);
 void cprintf(char*, ...);
-void panic(char*);
+void panic(char*) __attribute__((noreturn));
 void kbd_intr(void);
 
 // proc.c