Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/amd64/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -101,7 +101,7 @@
 static void null_interrupt(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
+	fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
 	decode_istate(n, istate);
-	panic("unserviced interrupt\n");
+	panic("Unserviced interrupt\n");
 }
 
@@ -127,16 +127,16 @@
 			return;
 		}
-		fault_if_from_uspace(istate, "general protection fault");
+		fault_if_from_uspace(istate, "General protection fault");
 	}
 
 	decode_istate(n, istate);
-	panic("general protection fault\n");
+	panic("General protection fault\n");
 }
 
 static void ss_fault(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "stack fault");
+	fault_if_from_uspace(istate, "Stack fault");
 	decode_istate(n, istate);
-	panic("stack fault\n");
+	panic("Stack fault\n");
 }
 
@@ -146,6 +146,6 @@
 	scheduler_fpu_lazy_request();
 #else
-	fault_if_from_uspace(istate, "fpu fault");
-	panic("fpu fault");
+	fault_if_from_uspace(istate, "FPU fault");
+	panic("FPU fault");
 #endif
 }
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/amd64/src/mm/page.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -195,5 +195,5 @@
 		decode_istate(n, istate);
 		printf("Page fault address: %llx\n", page);
-		panic("page fault\n");
+		panic("Page fault\n");
 	}
 }
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ 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");
 	}
 }
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/ia32/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -96,8 +96,8 @@
 static void null_interrupt(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
-
-	decode_istate(istate);
-	panic("unserviced interrupt: %d\n", n);
+	fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
+
+	decode_istate(istate);
+	panic("Unserviced interrupt: %d\n", n);
 }
 
@@ -123,17 +123,17 @@
 			return;
 		}
-		fault_if_from_uspace(istate, "general protection fault");
+		fault_if_from_uspace(istate, "General protection fault");
 	}
 
 	decode_istate(istate);
-	panic("general protection fault\n");
+	panic("General protection fault\n");
 }
 
 static void ss_fault(int n __attribute__((unused)), istate_t *istate)
 {
-	fault_if_from_uspace(istate, "stack fault");
-
-	decode_istate(istate);
-	panic("stack fault\n");
+	fault_if_from_uspace(istate, "Stack fault");
+
+	decode_istate(istate);
+	panic("Stack fault\n");
 }
 
@@ -158,6 +158,6 @@
 	scheduler_fpu_lazy_request();
 #else
-	fault_if_from_uspace(istate, "fpu fault");
-	panic("fpu fault");
+	fault_if_from_uspace(istate, "FPU fault");
+	panic("FPU fault");
 #endif
 }
Index: kernel/arch/ia32xen/src/interrupt.c
===================================================================
--- kernel/arch/ia32xen/src/interrupt.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/ia32xen/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -95,8 +95,8 @@
 static void null_interrupt(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
-
-	decode_istate(istate);
-	panic("unserviced interrupt: %d\n", n);
+	fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
+
+	decode_istate(istate);
+	panic("Unserviced interrupt: %d\n", n);
 }
 
@@ -122,17 +122,17 @@
 			return;
 		}
-		fault_if_from_uspace(istate, "general protection fault");
+		fault_if_from_uspace(istate, "General protection fault");
 	}
 
 	decode_istate(istate);
-	panic("general protection fault\n");
+	panic("General protection fault\n");
 }
 
 static void ss_fault(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "stack fault");
-
-	decode_istate(istate);
-	panic("stack fault\n");
+	fault_if_from_uspace(istate, "Stack fault");
+
+	decode_istate(istate);
+	panic("Stack fault\n");
 }
 
@@ -158,6 +158,6 @@
 	scheduler_fpu_lazy_request();
 #else
-	fault_if_from_uspace(istate, "fpu fault");
-	panic("fpu fault");
+	fault_if_from_uspace(istate, "FPU fault");
+	panic("FPU fault");
 #endif
 }
Index: kernel/arch/ia32xen/src/mm/page.c
===================================================================
--- kernel/arch/ia32xen/src/mm/page.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/ia32xen/src/mm/page.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -78,6 +78,6 @@
 		
 		decode_istate(istate);
-		printf("page fault address: %#x\n", page);
-		panic("page fault\n");
+		printf("Page fault address: %#x\n", page);
+		panic("Page fault\n");
 	}
 }
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/ia64/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -229,5 +229,5 @@
 void universal_handler(uint64_t vector, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "Interruption: %#hx (%s)\n",
+	fault_if_from_uspace(istate, "Interruption: %#hx (%s)",
 	    (uint16_t) vector, vector_to_string(vector));
 	dump_interrupted_context(istate);
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/mips32/src/exception.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -89,8 +89,8 @@
 static void unhandled_exception(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "unhandled exception %s", exctable[n]);
+	fault_if_from_uspace(istate, "Unhandled exception %s", exctable[n]);
 	
 	print_regdump(istate);
-	panic("unhandled exception %s\n", exctable[n]);
+	panic("Unhandled exception %s.\n", exctable[n]);
 }
 
@@ -133,6 +133,6 @@
 		scheduler_fpu_lazy_request();
 	else {
-		fault_if_from_uspace(istate, "unhandled Coprocessor Unusable Exception");
-		panic("unhandled Coprocessor Unusable Exception\n");
+		fault_if_from_uspace(istate, "Unhandled Coprocessor Unusable Exception");
+		panic("Unhandled Coprocessor Unusable Exception.\n");
 	}
 }
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -333,5 +333,5 @@
 	fault_if_from_uspace(istate, "TLB Refill Exception on %p",
 	    cp0_badvaddr_read());
-	panic("%x: TLB Refill Exception at %x(%s<-%s)\n", cp0_badvaddr_read(),
+	panic("%x: TLB Refill Exception at %x(%s<-%s).\n", cp0_badvaddr_read(),
 	    istate->epc, symbol, sym2);
 }
@@ -347,5 +347,5 @@
 	fault_if_from_uspace(istate, "TLB Invalid Exception on %p",
 	    cp0_badvaddr_read());
-	panic("%x: TLB Invalid Exception at %x(%s)\n", cp0_badvaddr_read(),
+	panic("%x: TLB Invalid Exception at %x(%s).\n", cp0_badvaddr_read(),
 	    istate->epc, symbol);
 }
@@ -360,5 +360,5 @@
 	fault_if_from_uspace(istate, "TLB Modified Exception on %p",
 	    cp0_badvaddr_read());
-	panic("%x: TLB Modified Exception at %x(%s)\n", cp0_badvaddr_read(),
+	panic("%x: TLB Modified Exception at %x(%s).\n", cp0_badvaddr_read(),
 	    istate->epc, symbol);
 }
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -120,5 +120,5 @@
 
 	fault_if_from_uspace(istate,
-	    "%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr,
+	    "%p: PHT Refill Exception at %p (%s<-%s)", badvaddr,
 	    istate->pc, symbol, sym2);
 	panic("%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr,
Index: kernel/arch/sparc64/src/mm/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/tlb.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/sparc64/src/mm/tlb.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -425,5 +425,5 @@
     const char *str)
 {
-	fault_if_from_uspace(istate, "%s\n", str);
+	fault_if_from_uspace(istate, "%s", str);
 	dump_istate(istate);
 	panic("%s\n", str);
@@ -437,5 +437,5 @@
 	va = tag.vpn << MMU_PAGE_WIDTH;
 	if (tag.context) {
-		fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
+		fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)", str, va,
 		    tag.context);
 	}
@@ -453,5 +453,5 @@
 
 	if (tag.context) {
-		fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
+		fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)", str, va,
 		    tag.context);
 	}
Index: kernel/arch/sparc64/src/trap/exception.c
===================================================================
--- kernel/arch/sparc64/src/trap/exception.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/sparc64/src/trap/exception.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
@@ -54,5 +54,5 @@
 void instruction_access_exception(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -62,5 +62,5 @@
 void instruction_access_error(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -70,5 +70,5 @@
 void illegal_instruction(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -78,5 +78,5 @@
 void privileged_opcode(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -86,5 +86,5 @@
 void unimplemented_LDD(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -94,5 +94,5 @@
 void unimplemented_STD(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -114,5 +114,5 @@
 	scheduler_fpu_lazy_request();
 #else
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -123,5 +123,5 @@
 void fp_exception_ieee_754(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -131,5 +131,5 @@
 void fp_exception_other(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -139,5 +139,5 @@
 void tag_overflow(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -147,5 +147,5 @@
 void division_by_zero(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -155,5 +155,5 @@
 void data_access_exception(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	dump_sfsr_and_sfar();
@@ -164,5 +164,5 @@
 void data_access_error(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -172,5 +172,5 @@
 void mem_address_not_aligned(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -180,5 +180,5 @@
 void LDDF_mem_address_not_aligned(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -188,5 +188,5 @@
 void STDF_mem_address_not_aligned(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -196,5 +196,5 @@
 void privileged_action(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -204,5 +204,5 @@
 void LDQF_mem_address_not_aligned(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);
@@ -212,5 +212,5 @@
 void STQF_mem_address_not_aligned(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "%s\n", __func__);
+	fault_if_from_uspace(istate, "%s", __func__);
 	dump_istate(istate);
 	panic("%s\n", __func__);