Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision ff3a34b23d37dee4709e858ec1869756a88b4172)
+++ kernel/generic/src/main/uinit.c	(revision ea7890e7d40b57d264d11b6a6ded9dd8c6454424)
@@ -46,4 +46,5 @@
 #include <userspace.h>
 #include <mm/slab.h>
+#include <arch.h>
 
 /** Thread used to bring up userspace thread.
@@ -55,10 +56,19 @@
 {
 	uspace_arg_t uarg;
+
+	/*
+	 * So far, we don't have a use for joining userspace threads so we
+	 * immediately detach each uinit thread. If joining of userspace threads
+	 * is required, some userspace API based on the kernel mechanism will
+	 * have to be implemented. Moreover, garbage collecting of threads that
+	 * didn't detach themselves and nobody else joined them will have to be
+	 * deployed for the event of forceful task termination.
+	 */
+	thread_detach(THREAD);
 	
 	uarg.uspace_entry = ((uspace_arg_t *) arg)->uspace_entry;
 	uarg.uspace_stack = ((uspace_arg_t *) arg)->uspace_stack;
 	uarg.uspace_uarg = ((uspace_arg_t *) arg)->uspace_uarg;
-	uarg.uspace_thread_function = NULL;
-	uarg.uspace_thread_arg = NULL;
+	uarg.uspace_thread_function = NULL; uarg.uspace_thread_arg = NULL;
 
 	free((uspace_arg_t *) arg);