Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -190,5 +190,5 @@
 
 		fault_if_from_uspace(istate, "Page fault: %#x", badvaddr);
-		panic("page fault\n");
+		panic("Page fault\n");
 	}
 }