Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision c571f428780356712393ffa289dcab9107a5367f)
+++ kernel/arch/arm32/src/mm/page.c	(revision 8ea03080b8d59d0c3ee0830f9ea1b08bbedeba88)
@@ -91,5 +91,5 @@
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
 	    KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH)) {
-		panic("Unable to map physical memory %p (%d bytes)",
+		panic("Unable to map physical memory %p (%d bytes).",
 		    physaddr, size)
 	}
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision c571f428780356712393ffa289dcab9107a5367f)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 8ea03080b8d59d0c3ee0830f9ea1b08bbedeba88)
@@ -143,6 +143,6 @@
 	/* undefined instructions */
 	if (instr.condition == 0xf) {
-		panic("page_fault - instruction doesn't access memory "
-		    "(instr_code: %x, badvaddr:%x)", instr, badvaddr);
+		panic("page_fault - instruction does not access memory "
+		    "(instr_code: %x, badvaddr:%x).", instr, badvaddr);
 		return PF_ACCESS_EXEC;
 	}
@@ -163,5 +163,5 @@
 
 	panic("page_fault - instruction doesn't access memory "
-	    "(instr_code: %x, badvaddr:%x)", instr, badvaddr);
+	    "(instr_code: %x, badvaddr:%x).", instr, badvaddr);
 
 	return PF_ACCESS_EXEC;
@@ -189,6 +189,6 @@
 		    access);
 
-		fault_if_from_uspace(istate, "Page fault: %#x", badvaddr);
-		panic("Page fault\n");
+		fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
+		panic("Page fault.");
 	}
 }
@@ -206,5 +206,5 @@
 		dprintf("prefetch_abort\n");
 		print_istate(istate);
-		panic("page fault - prefetch_abort at address: %x\n",
+		panic("page fault - prefetch_abort at address: %x.",
 		    istate->pc);
 	}