Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision cb01e1ee9f069d7d14148e3efc3cb37d1011b8de)
+++ kernel/test/fault/fault1.c	(revision 958de16fdaaa208e93eaa7d3150f9a87db99b693)
@@ -37,5 +37,5 @@
 #include <arch.h>
 
-char *test_fault1(void)
+const char *test_fault1(void)
 {
 	((int *)(0))[1] = 0;