Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision fd723123e15e0acd1e98c618cb1941a5f5354f09)
+++ kernel/generic/src/ipc/kbox.c	(revision 8a72a9ab5a133d8b33aa20a89b8d996a84ba6d60)
@@ -43,4 +43,5 @@
 #include <udebug/udebug_ipc.h>
 #include <ipc/kbox.h>
+#include <print.h>
 
 void ipc_kbox_cleanup(void)
Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision fd723123e15e0acd1e98c618cb1941a5f5354f09)
+++ kernel/generic/src/udebug/udebug.c	(revision 8a72a9ab5a133d8b33aa20a89b8d996a84ba6d60)
@@ -42,4 +42,5 @@
 #include <udebug/udebug.h>
 #include <errno.h>
+#include <print.h>
 #include <arch.h>
 
Index: kernel/generic/src/udebug/udebug_ops.c
===================================================================
--- kernel/generic/src/udebug/udebug_ops.c	(revision fd723123e15e0acd1e98c618cb1941a5f5354f09)
+++ kernel/generic/src/udebug/udebug_ops.c	(revision 8a72a9ab5a133d8b33aa20a89b8d996a84ba6d60)
@@ -45,4 +45,5 @@
 #include <arch.h>
 #include <errno.h>
+#include <print.h>
 #include <syscall/copy.h>
 #include <ipc/ipc.h>