Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/udebug/udebug.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -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 bab75df6bdac0b39185034277416374a06d4b37f)
@@ -45,5 +45,4 @@
 #include <arch.h>
 #include <errno.h>
-#include <print.h>
 #include <stdbool.h>
 #include <str.h>