vprintf and panic formatting

1 files changed, 6 insertions, 1 deletions

diff --git a/kernel/panic.c b/kernel/panic.c
index 3a2ddf1..42b54d7 100644
--- a/kernel/panic.c
+++ b/kernel/panic.c
@@ -1,10 +1,15 @@
 #include "panic.h"
+#include <stdarg.h>
 #include <stdio.h>
 
 __attribute__((noreturn)) void panic(const char *str, ...)
 {
     /* no printf formatting for now */
-    printf("KERNEL PANIC: %s", str);
+    printf("KERNEL PANIC: ");
+    va_list ap;
+    va_start(ap, str);
+    vprintf(str, ap);
+    va_end(ap);
     for(;;)
     {
         asm("cli");