Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/generic/src/main/uinit.c	(revision 1924bd430b10bc842d09d99ede55d445ffc680ca)
@@ -33,5 +33,5 @@
 /**
  * @file
- * @brief	Userspace bootstrap thread.
+ * @brief Userspace bootstrap thread.
  *
  * This file contains uinit kernel thread wich is used to start every
@@ -40,5 +40,5 @@
  * @see SYS_THREAD_CREATE
  */
- 
+
 #include <main/uinit.h>
 #include <typedefs.h>
@@ -48,5 +48,4 @@
 #include <arch.h>
 #include <udebug/udebug.h>
-
 
 /** Thread used to bring up userspace thread.
@@ -58,5 +57,5 @@
 {
 	uspace_arg_t uarg;
-
+	
 	/*
 	 * So far, we don't have a use for joining userspace threads so we
@@ -68,5 +67,5 @@
 	 */
 	thread_detach(THREAD);
-
+	
 #ifdef CONFIG_UDEBUG
 	udebug_stoppable_end();
@@ -78,5 +77,5 @@
 	uarg.uspace_thread_function = NULL;
 	uarg.uspace_thread_arg = NULL;
-
+	
 	free((uspace_arg_t *) arg);