Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision 645d9ed2a676dc71859db456dc0f1b504767fcea)
+++ kernel/generic/src/main/uinit.c	(revision 2c57ee144b471022bccca5f06ef68134ccc17208)
@@ -47,4 +47,6 @@
 #include <mm/slab.h>
 #include <arch.h>
+#include <udebug/udebug.h>
+
 
 /** Thread used to bring up userspace thread.
@@ -66,4 +68,8 @@
 	 */
 	thread_detach(THREAD);
+
+#ifdef CONFIG_UDEBUG
+	udebug_stoppable_end();
+#endif
 	
 	uarg.uspace_entry = ((uspace_arg_t *) arg)->uspace_entry;