Index: kernel/generic/src/udebug/udebug_ops.c
===================================================================
--- kernel/generic/src/udebug/udebug_ops.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/udebug/udebug_ops.c	(revision 76ca3f71d74c1d5be0fae6bcc28f1f663a624ea2)
@@ -46,5 +46,5 @@
 #include <errno.h>
 #include <print.h>
-#include <string.h>
+#include <str.h>
 #include <syscall/copy.h>
 #include <ipc/ipc.h>