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