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