Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/arch/amd64/src/debugger.c	(revision 623b49f1b94781911cb219ad1a68b6afdb2b0bbf)
@@ -249,5 +249,5 @@
 	printf("***Type 'exit' to exit kconsole.\n");
 	atomic_set(&haltstate,1);
-	kconsole("debug");
+	kconsole((void *) "debug");
 	atomic_set(&haltstate,0);
 }