Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 3ad953cc9f7b18ae008470e72a5abd43e4142cbd)
+++ kernel/generic/src/main/kinit.c	(revision 9a0367fa3b9a9c76101f2153a0f10900ea972c2b)
@@ -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 3ad953cc9f7b18ae008470e72a5abd43e4142cbd)
+++ kernel/generic/src/main/main.c	(revision 9a0367fa3b9a9c76101f2153a0f10900ea972c2b)
@@ -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));