Index: kernel/generic/src/ipc/ipc_kbox.c
===================================================================
--- kernel/generic/src/ipc/ipc_kbox.c	(revision 9a1b20c34d5404b8272209d06c0239aa1a2384da)
+++ kernel/generic/src/ipc/ipc_kbox.c	(revision 8c125ad51a8dfadbf925f3871e4ccdf00e4b81df)
@@ -40,5 +40,5 @@
 #include <arch.h>
 #include <errno.h>
-#include <print.h>
+#include <debug.h>
 #include <udebug/udebug_ipc.h>
 #include <ipc/ipc_kbox.h>
@@ -66,8 +66,8 @@
 	
 	if (have_kb_thread) {
-		printf("join kb_thread..\n");
+		LOG("join kb_thread..\n");
 		thread_join(TASK->kb_thread);
 		thread_detach(TASK->kb_thread);
-		printf("join done\n");
+		LOG("join done\n");
 		TASK->kb_thread = NULL;
 	}
@@ -89,9 +89,8 @@
 
 	(void)arg;
-	printf("kbox_thread_proc()\n");
+	LOG("kbox_thread_proc()\n");
 	done = false;
 
 	while (!done) {
-		//printf("kbox: wait for call\n");
 		call = ipc_wait_for_call(&TASK->kernel_box, SYNCH_NO_TIMEOUT,
 			SYNCH_FLAGS_NONE);
@@ -105,10 +104,10 @@
 
 			if (method == IPC_M_PHONE_HUNGUP) {
-				printf("kbox: handle hangup message\n");
+				LOG("kbox: handle hangup message\n");
 
 				/* Was it our debugger, who hung up? */
 				if (call->sender == TASK->udebug.debugger) {
 					/* Terminate debugging session (if any) */
-					printf("kbox: terminate debug session\n");
+					LOG("kbox: terminate debug session\n");
 					ipl = interrupts_disable();
 					spinlock_lock(&TASK->lock);
@@ -117,8 +116,8 @@
 					interrupts_restore(ipl);
 				} else {
-					printf("kbox: was not debugger\n");
+					LOG("kbox: was not debugger\n");
 				}
 
-				printf("kbox: continue with hangup message\n");
+				LOG("kbox: continue with hangup message\n");
 				IPC_SET_RETVAL(call->data, 0);
 				ipc_answer(&TASK->kernel_box, call);
@@ -131,5 +130,5 @@
 					TASK->kb_thread = NULL;
 					done = true;
-					printf("phone list is empty\n");
+					LOG("phone list is empty\n");
 				}
 				spinlock_unlock(&TASK->answerbox.lock);
@@ -140,5 +139,5 @@
 	}
 
-	printf("kbox: finished\n");
+	LOG("kbox: finished\n");
 }
 
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 9a1b20c34d5404b8272209d06c0239aa1a2384da)
+++ kernel/generic/src/ipc/sysipc.c	(revision 8c125ad51a8dfadbf925f3871e4ccdf00e4b81df)
@@ -46,5 +46,4 @@
 #include <udebug/udebug_ipc.h>
 #include <arch/interrupt.h>
-#include <print.h>
 #include <syscall/copy.h>
 #include <security/cap.h>
@@ -900,5 +899,5 @@
 		return (unative_t) rc;
 
-	printf("sys_ipc_connect_kbox(%lld, %d)\n", taskid_arg.value);
+	LOG("sys_ipc_connect_kbox(%" PRIu64 ")\n", taskid_arg.value);
 
 	return ipc_connect_kbox(taskid_arg.value);