Index: src/main/kinit.c
===================================================================
--- src/main/kinit.c	(revision be50915b55e66438dd5e7bb881b76268b26a5dee)
+++ src/main/kinit.c	(revision 196af843e0e0e283afc970ee22d1b967b69c8a21)
@@ -120,9 +120,9 @@
 	 */
 	m = vm_create();
-	if (!m)	panic(PANIC "vm_create");
+	if (!m)	panic("vm_create");
 	u = task_create(m);
-	if (!u)	panic(PANIC "task_create");
+	if (!u)	panic("task_create");
 	t = thread_create(uinit, NULL, u, THREAD_USER_STACK);
-	if (!t) panic(PANIC "thread_create");
+	if (!t) panic("thread_create");
 
 	/*
@@ -130,5 +130,5 @@
 	 */	
 	a = vm_area_create(m, VMA_TEXT, 1, UTEXT_ADDRESS);
-	if (!a) panic(PANIC "vm_area_create: vm_text");
+	if (!a) panic("vm_area_create: vm_text");
 	memcopy((__address) utext, PA2KA(a->mapping[0]), utext_size < PAGE_SIZE ? utext_size : PAGE_SIZE);		
 
@@ -137,5 +137,5 @@
 	 */
 	a = vm_area_create(m, VMA_STACK, 1, USTACK_ADDRESS);
-	if (!a) panic(PANIC "vm_area_create: vm_stack");
+	if (!a) panic("vm_area_create: vm_stack");
 	
 	thread_ready(t);
Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision be50915b55e66438dd5e7bb881b76268b26a5dee)
+++ src/main/main.c	(revision 196af843e0e0e283afc970ee22d1b967b69c8a21)
@@ -30,4 +30,5 @@
 #include <arch/context.h>
 #include <print.h>
+#include <panic.h>
 #include <config.h>
 #include <time/clock.h>