Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/udebug/udebug.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -43,5 +43,4 @@
 #include <udebug/udebug.h>
 #include <errno.h>
-#include <print.h>
 #include <arch.h>
 #include <proc/task.h>
Index: kernel/generic/src/udebug/udebug_ops.c
===================================================================
--- kernel/generic/src/udebug/udebug_ops.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/udebug/udebug_ops.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -45,5 +45,4 @@
 #include <arch.h>
 #include <errno.h>
-#include <print.h>
 #include <stdbool.h>
 #include <str.h>