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