Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 61001a9defa8a06128475b5d909949241e85057e)
+++ kernel/arch/abs32le/src/abs32le.c	(revision aadf01ebd2c032bc8dd43a6e06ae5715e6c2710f)
@@ -114,5 +114,5 @@
 }
 
-void panic_printf(char *fmt, ...)
+void panic_printf(const char *fmt, ...)
 {
 	va_list args;