Index: kernel/arch/ppc64/include/exception.h
===================================================================
--- kernel/arch/ppc64/include/exception.h	(revision 4ad8f1943b4600d60ed13d3982599958580d18e4)
+++ kernel/arch/ppc64/include/exception.h	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -88,5 +88,5 @@
 static inline int istate_from_uspace(istate_t *istate)
 {
-	panic("istate_from_uspace not yet implemented");
+	panic("istate_from_uspace not yet implemented.");
 	return 0;
 }
Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision 4ad8f1943b4600d60ed13d3982599958580d18e4)
+++ kernel/arch/ppc64/src/mm/page.c	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -107,5 +107,5 @@
 				return NULL;
 			default:
-				panic("unexpected rc (%d)\n", rc);
+				panic("Unexpected rc (%d).", rc);
 		}	
 	}
@@ -124,5 +124,5 @@
 	if (s)
 		sym2 = s;
-	panic("%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr, istate->pc, symbol, sym2);
+	panic("%p: PHT Refill Exception at %p (%s<-%s).", badvaddr, istate->pc, symbol, sym2);
 }
 
@@ -234,5 +234,5 @@
 				return;
 			default:
-				panic("Unexpected pfrc (%d)\n", pfrc);
+				panic("Unexpected pfrc (%d).", pfrc);
 		}
 	}
@@ -289,5 +289,5 @@
 {
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%" PRIs " bytes)", physaddr, size)
+		panic("Unable to map physical memory %p (%" PRIs " bytes).", physaddr, size)
 	
 	uintptr_t virtaddr = PA2KA(last_frame);
Index: kernel/arch/ppc64/src/ppc64.c
===================================================================
--- kernel/arch/ppc64/src/ppc64.c	(revision 4ad8f1943b4600d60ed13d3982599958580d18e4)
+++ kernel/arch/ppc64/src/ppc64.c	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -86,5 +86,5 @@
 			break;
 		default:
-			panic("Unsupported bits per pixel");
+			panic("Unsupported bits per pixel.");
 		}
 		fb_init(bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.scanline, visual);
