Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/amd64/src/interrupt.c	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -95,5 +95,5 @@
 		eoi_function();
 	else
-		panic("no eoi_function\n");
+		panic("No eoi_function.");
 
 }
@@ -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.");
 }
 
@@ -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.");
 }
 
 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.");
 }
 
@@ -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
 }
@@ -222,5 +222,5 @@
 		enable_irqs_function(irqmask);
 	else
-		panic("no enable_irqs_function\n");
+		panic("No enable_irqs_function.");
 }
 
@@ -230,5 +230,5 @@
 		disable_irqs_function(irqmask);
 	else
-		panic("no disable_irqs_function\n");
+		panic("No disable_irqs_function.");
 }
 
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/amd64/src/mm/page.c	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -181,5 +181,5 @@
 	
 	if (istate->error_word & PFERR_CODE_RSVD)
-		panic("Reserved bit set in page table entry.\n");
+		panic("Reserved bit set in page table entry.");
 	
 	if (istate->error_word & PFERR_CODE_RW)
@@ -191,9 +191,9 @@
 	
 	if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
-		fault_if_from_uspace(istate, "Page fault: %#x", page);
+		fault_if_from_uspace(istate, "Page fault: %#x.", page);
 
 		decode_istate(n, istate);
-		printf("Page fault address: %llx\n", page);
-		panic("Page fault\n");
+		printf("Page fault address: %llx.\n", page);
+		panic("Page fault.");
 	}
 }
@@ -203,5 +203,5 @@
 {
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+		panic("Unable to map physical memory %p (%d bytes).", physaddr, size)
 	
 	uintptr_t virtaddr = PA2KA(last_frame);
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/amd64/src/pm.c	(revision ff50f4028ac28f68255e99ff510cd765ca0cff13)
@@ -210,5 +210,5 @@
 		tss_p = (struct tss *) malloc(sizeof(tss_t), FRAME_ATOMIC);
 		if (!tss_p)
-			panic("could not allocate TSS\n");
+			panic("Cannot allocate TSS.");
 	}