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