Index: kernel/arch/ia32/src/drivers/vesa.c
===================================================================
--- kernel/arch/ia32/src/drivers/vesa.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia32/src/drivers/vesa.c	(revision bda24ee7e6220d31f6570cc4ac7804163db9055d)
@@ -84,5 +84,5 @@
 		break;
 	default:
-		panic("Unsupported bits per pixel");
+		panic("Unsupported bits per pixel.");
 	}
 	
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia32/src/interrupt.c	(revision bda24ee7e6220d31f6570cc4ac7804163db9055d)
@@ -90,5 +90,5 @@
 		eoi_function();
 	else
-		panic("no eoi_function\n");
+		panic("No eoi_function.");
 
 }
@@ -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);
 }
 
@@ -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.");
 }
 
 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.");
 }
 
@@ -145,10 +145,10 @@
 		: "=m" (mxcsr)
 	);
-	fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx",
+	fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx.",
 	    (unative_t) mxcsr);
 
 	decode_istate(istate);
 	printf("MXCSR: %#lx\n", mxcsr);
-	panic("SIMD FP exception(19)\n");
+	panic("SIMD FP exception(19).");
 }
 
@@ -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
 }
@@ -234,5 +234,5 @@
 		enable_irqs_function(irqmask);
 	else
-		panic("no enable_irqs_function\n");
+		panic("No enable_irqs_function.");
 }
 
@@ -242,5 +242,5 @@
 		disable_irqs_function(irqmask);
 	else
-		panic("no disable_irqs_function\n");
+		panic("No disable_irqs_function.");
 }
 
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia32/src/mm/page.c	(revision bda24ee7e6220d31f6570cc4ac7804163db9055d)
@@ -80,5 +80,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);
@@ -102,5 +102,5 @@
 		
 	if (istate->error_word & PFERR_CODE_RSVD)
-		panic("Reserved bit set in page directory.\n");
+		panic("Reserved bit set in page directory.");
 
 	if (istate->error_word & PFERR_CODE_RW)
@@ -110,9 +110,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(istate);
 		printf("page fault address: %#lx\n", page);
-		panic("page fault\n");
+		panic("Page fault.");
 	}
 }
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia32/src/pm.c	(revision bda24ee7e6220d31f6570cc4ac7804163db9055d)
@@ -199,5 +199,5 @@
 		tss_p = (tss_t *) malloc(sizeof(tss_t), FRAME_ATOMIC);
 		if (!tss_p)
-			panic("could not allocate TSS\n");
+			panic("Cannot allocate TSS.");
 	}
 
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 7ed2d8f913a802b35d24afa1cf356ce0b315b603)
+++ kernel/arch/ia32/src/smp/smp.c	(revision bda24ee7e6220d31f6570cc4ac7804163db9055d)
@@ -76,10 +76,10 @@
 	    FRAME_ATOMIC | FRAME_KA);
 	if (!l_apic_address)
-		panic("cannot allocate address for l_apic\n");
+		panic("Cannot allocate address for l_apic.");
 
 	io_apic_address = (uintptr_t) frame_alloc(ONE_FRAME,
 	    FRAME_ATOMIC | FRAME_KA);
 	if (!io_apic_address)
-		panic("cannot allocate address for io_apic\n");
+		panic("Cannot allocate address for io_apic.");
 
 	if (config.cpu_count > 1) {		
@@ -158,5 +158,5 @@
 		    sizeof(struct descriptor), FRAME_ATOMIC | FRAME_LOW_4_GiB);
 		if (!gdt_new)
-			panic("couldn't allocate memory for GDT\n");
+			panic("Cannot allocate memory for GDT.");
 
 		memcpy(gdt_new, gdt, GDT_ITEMS * sizeof(struct descriptor));