Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
+++ kernel/generic/src/udebug/udebug.c	(revision 6601f9bbc0efac1db2a0bb4f7661233c5be63316)
@@ -44,4 +44,6 @@
 #include <print.h>
 #include <arch.h>
+#include <proc/task.h>
+#include <proc/thread.h>
 
 /** Initialize udebug part of task structure.