Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia64/src/ia64.c	(revision 6cd3e8a85bdf3306fe1a17aa12b7c50009f1133e)
@@ -180,5 +180,5 @@
 	t = thread_create(kkbdpoll, NULL, TASK, 0, "kkbdpoll", true);
 	if (!t)
-		panic("cannot create kkbdpoll\n");
+		panic("Cannot create kkbdpoll.");
 	thread_ready(t);
 #endif		
@@ -195,5 +195,5 @@
 	t = thread_create(i8042_kkbdpoll, NULL, TASK, 0, "kkbdpoll", true);
 	if (!t)
-		panic("cannot create kkbdpoll\n");
+		panic("Cannot create kkbdpoll.");
 	thread_ready(t);
 #endif
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia64/src/interrupt.c	(revision 6cd3e8a85bdf3306fe1a17aa12b7c50009f1133e)
@@ -187,8 +187,8 @@
 	}
 
-	fault_if_from_uspace(istate, "General Exception (%s)", desc);
+	fault_if_from_uspace(istate, "General Exception (%s).", desc);
 
 	dump_interrupted_context(istate);
-	panic("General Exception (%s)\n", desc);
+	panic("General Exception (%s).", desc);
 }
 
@@ -198,8 +198,8 @@
 	scheduler_fpu_lazy_request();	
 #else
-	fault_if_from_uspace(istate, "Interruption: %#hx (%s)",
+	fault_if_from_uspace(istate, "Interruption: %#hx (%s).",
 	    (uint16_t) vector, vector_to_string(vector));
 	dump_interrupted_context(istate);
-	panic("Interruption: %#hx (%s)\n", (uint16_t) vector,
+	panic("Interruption: %#hx (%s).", (uint16_t) vector,
 	    vector_to_string(vector));
 #endif
@@ -229,8 +229,8 @@
 void universal_handler(uint64_t vector, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "Interruption: %#hx (%s)",
+	fault_if_from_uspace(istate, "Interruption: %#hx (%s).",
 	    (uint16_t) vector, vector_to_string(vector));
 	dump_interrupted_context(istate);
-	panic("Interruption: %#hx (%s)\n", (uint16_t) vector,
+	panic("Interruption: %#hx (%s).", (uint16_t) vector,
 	    vector_to_string(vector));
 }
@@ -270,5 +270,5 @@
 			spinlock_unlock(&irq->lock);
 		} else {
-			panic("\nUnhandled Internal Timer Interrupt (%d)\n",
+			panic("Unhandled Internal Timer Interrupt (%d).",
 			    ivr.vector);
 		}
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision 6cd3e8a85bdf3306fe1a17aa12b7c50009f1133e)
@@ -473,6 +473,6 @@
 		page_table_unlock(AS, true);
 		if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate,"Page fault at %p",va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate,"Page fault at %p.",va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -532,5 +532,5 @@
 			} else {
 				fault_if_from_uspace(istate,
-				    "IO access fault at %p", va);
+				    "IO access fault at %p.", va);
 			}
 		}
@@ -584,6 +584,6 @@
 		 */
 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate,"Page fault at %p",va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate,"Page fault at %p.",va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -600,5 +600,5 @@
 void data_nested_tlb_fault(uint64_t vector, istate_t *istate)
 {
-	panic("%s\n", __func__);
+	panic("%s.", __func__);
 }
 
@@ -631,6 +631,6 @@
 	} else {
 		if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate,"Page fault at %p",va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate,"Page fault at %p.",va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -667,6 +667,6 @@
 	} else {
 		if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate, "Page fault at %p", va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate, "Page fault at %p.", va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -703,6 +703,6 @@
 	} else {
 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate, "Page fault at %p", va);
-			panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
+			fault_if_from_uspace(istate, "Page fault at %p.", va);
+			panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
 			    istate->cr_iip);
 		}
@@ -744,6 +744,6 @@
 		page_table_unlock(AS, true);
 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
-			fault_if_from_uspace(istate, "Page fault at %p", va);
-			panic("%s: va=%p, rid=%d\n", __func__, va, rid);
+			fault_if_from_uspace(istate, "Page fault at %p.", va);
+			panic("%s: va=%p, rid=%d.", __func__, va, rid);
 		}
 	}