Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision 8af9950eef9c2c7dfd3ef398eb581435b1f15ac1)
+++ 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 8af9950eef9c2c7dfd3ef398eb581435b1f15ac1)
+++ 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>