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