Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision 8af9950eef9c2c7dfd3ef398eb581435b1f15ac1)
+++ kernel/generic/src/udebug/udebug.c	(revision 74bcf5ec1b12e253f7cbddcc3937d8bb13274c4c)
@@ -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 74bcf5ec1b12e253f7cbddcc3937d8bb13274c4c)
@@ -45,4 +45,5 @@
 #include <arch.h>
 #include <errno.h>
+#include <print.h>
 #include <syscall/copy.h>
 #include <ipc/ipc.h>