Index: kernel/generic/src/adt/btree.c
===================================================================
--- kernel/generic/src/adt/btree.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/adt/btree.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -125,5 +125,5 @@
 	if (!lnode) {
 		if (btree_search(t, key, &lnode)) {
-			panic("B-tree %p already contains key %" PRIu64 "\n", t, key);
+			panic("B-tree %p already contains key %" PRIu64 ".", t, key);
 		}
 	}
@@ -225,5 +225,5 @@
 	if (!lnode) {
 		if (!btree_search(t, key, &lnode)) {
-			panic("B-tree %p does not contain key %" PRIu64 "\n", t, key);
+			panic("B-tree %p does not contain key %" PRIu64 ".", t, key);
 		}
 	}
@@ -525,5 +525,5 @@
 		}
 	}
-	panic("node %p does not contain key %" PRIu64 "\n", node, key);
+	panic("Node %p does not contain key %" PRIu64 ".", node, key);
 }
 
@@ -552,5 +552,5 @@
 		}
 	}
-	panic("node %p does not contain key %" PRIu64 "\n", node, key);
+	panic("Node %p does not contain key %" PRIu64 ".", node, key);
 }
 
@@ -694,5 +694,5 @@
 			return i - (int) (right != false);
 	}
-	panic("node %p does not contain subtree %p\n", node, subtree);
+	panic("Node %p does not contain subtree %p.", node, subtree);
 }
 
Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/adt/hash_table.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -62,5 +62,5 @@
 	h->entry = (link_t *) malloc(m * sizeof(link_t), 0);
 	if (!h->entry) {
-		panic("cannot allocate memory for hash table\n");
+		panic("Cannot allocate memory for hash table.");
 	}
 	memsetb(h->entry, m * sizeof(link_t), 0);
Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/cpu/cpu.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -65,5 +65,5 @@
 					FRAME_ATOMIC);
 		if (!cpus)
-			panic("malloc/cpus");
+			panic("Cannot allocate CPU structures.");
 
 		/* initialize everything */
Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -106,6 +106,6 @@
 static void exc_undef(int n, istate_t *istate)
 {
-	fault_if_from_uspace(istate, "Unhandled exception %d", n);
-	panic("Unhandled exception %d", n);
+	fault_if_from_uspace(istate, "Unhandled exception %d.", n);
+	panic("Unhandled exception %d.", n);
 }
 
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/main/kinit.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -111,5 +111,5 @@
 			thread_ready(thread);
 		} else
-			panic("Unable to create kmp thread\n");
+			panic("Unable to create kmp thread.");
 		thread_join(thread);
 		thread_detach(thread);
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/main/main.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -270,5 +270,5 @@
 	task_t *kernel = task_create(AS_KERNEL, "kernel");
 	if (!kernel)
-		panic("Can't create kernel task\n");
+		panic("Cannot create kernel task.");
 	
 	/*
@@ -278,5 +278,5 @@
 		= thread_create(kinit, NULL, kernel, 0, "kinit", true);
 	if (!kinit_thread)
-		panic("Can't create kinit thread\n");
+		panic("Cannot create kinit thread.");
 	LOG_EXEC(thread_ready(kinit_thread));
 	
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/mm/as.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -147,5 +147,5 @@
 	AS_KERNEL = as_create(FLAG_AS_KERNEL);
 	if (!AS_KERNEL)
-		panic("Cannot create kernel address space\n");
+		panic("Cannot create kernel address space.");
 	
 	/* Make sure the kernel address space
@@ -445,6 +445,6 @@
 					if (!used_space_remove(area, start_free,
 					    c - i))
-						panic("Could not remove used "
-						    "space.\n");
+						panic("Cannot remove used "
+						    "space.");
 				} else {
 					/*
@@ -453,6 +453,6 @@
 					 */
 					if (!used_space_remove(area, b, c))
-						panic("Could not remove used "
-						    "space.\n");
+						panic("Cannot remove used "
+						    "space.");
 				}
 			
@@ -1667,5 +1667,5 @@
 
 	panic("Inconsistency detected while adding %" PRIc " pages of used "
-	    "space at %p.\n", count, page);
+	    "space at %p.", count, page);
 }
 
@@ -1846,5 +1846,5 @@
 error:
 	panic("Inconsistency detected while removing %" PRIc " pages of used "
-	    "space from %p.\n", count, page);
+	    "space from %p.", count, page);
 }
 
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/mm/backend_anon.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -153,5 +153,5 @@
 	page_mapping_insert(AS, addr, frame, as_area_get_flags(area));
 	if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1))
-		panic("Could not insert used space.\n");
+		panic("Cannot insert used space.");
 		
 	return AS_PF_OK;
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/mm/backend_elf.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -130,5 +130,5 @@
 			    as_area_get_flags(area));
 			if (!used_space_insert(area, page, 1))
-				panic("Could not insert used space.\n");
+				panic("Cannot insert used space.");
 			mutex_unlock(&area->sh_info->lock);
 			return AS_PF_OK;
@@ -215,5 +215,5 @@
 	page_mapping_insert(AS, addr, frame, as_area_get_flags(area));
 	if (!used_space_insert(area, page, 1))
-		panic("Could not insert used space.\n");
+		panic("Cannot insert used space.");
 
 	return AS_PF_OK;
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/mm/backend_phys.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -78,5 +78,5 @@
 	    as_area_get_flags(area));
         if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1))
-                panic("Could not insert used space.\n");
+                panic("Cannot insert used space.");
 
 	return AS_PF_OK;
Index: kernel/generic/src/mm/tlb.c
===================================================================
--- kernel/generic/src/mm/tlb.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/mm/tlb.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -174,5 +174,5 @@
 			break;
 		default:
-			panic("unknown type (%d)\n", type);
+			panic("Unknown type (%d).", type);
 			break;
 		}
Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/proc/scheduler.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -452,5 +452,5 @@
 			 * Entering state is unexpected.
 			 */
-			panic("tid%" PRIu64 ": unexpected state %s\n",
+			panic("tid%" PRIu64 ": unexpected state %s.",
 			    THREAD->tid, thread_states[THREAD->state]);
 			break;
Index: kernel/generic/src/proc/tasklet.c
===================================================================
--- kernel/generic/src/proc/tasklet.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/proc/tasklet.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -52,5 +52,5 @@
 	tasklet_list = malloc(sizeof(tasklet_descriptor_t *) * config.cpu_count, 0);
 	if (!tasklet_list)
-		panic("Error initializing tasklets");
+		panic("Error initializing tasklets.");
 	
 	for (i = 0; i < config.cpu_count; i++)
Index: kernel/generic/src/synch/rwlock.c
===================================================================
--- kernel/generic/src/synch/rwlock.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/synch/rwlock.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -232,8 +232,8 @@
 			break;
 		case ESYNCH_OK_ATOMIC:
-			panic("_mutex_lock_timeout() == ESYNCH_OK_ATOMIC\n");
+			panic("_mutex_lock_timeout() == ESYNCH_OK_ATOMIC.");
 			break;
 		default:
-			panic("invalid ESYNCH\n");
+			panic("Invalid ESYNCH.");
 			break;
 		}
Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -164,5 +164,6 @@
 		}	
 	}
-	panic("Not reached\n");
+
+	panic("Not reached.");
 	return NULL;
 }
Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/time/clock.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -80,5 +80,5 @@
 	faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC);
 	if (!faddr)
-		panic("Cannot allocate page for clock");
+		panic("Cannot allocate page for clock.");
 	
 	uptime = (uptime_t *) PA2KA(faddr);
Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/generic/src/time/timeout.c	(revision 0832b4dbf61c47e06454103bfe90ded222688108)
@@ -114,5 +114,5 @@
 
 	if (t->cpu)
-		panic("t->cpu != 0");
+		panic("Unexpected: t->cpu != 0.");
 
 	t->cpu = CPU;