Index: kernel/generic/src/udebug/udebug_ops.c
===================================================================
--- kernel/generic/src/udebug/udebug_ops.c	(revision b389f95fd25d0be6a3cd052888913d93795b9d83)
+++ kernel/generic/src/udebug/udebug_ops.c	(revision 9e889f6e4cdd51976ec8196b2e70a587d1cb4451)
@@ -52,4 +52,5 @@
 #include <udebug/udebug_ops.h>
 #include <mem.h>
+#include <stdlib.h>
 
 /** Prepare a thread for a debugging operation.
