Changes in kernel/generic/src/main/uinit.c [bcaca55:d99c1d2] in mainline

File:

• kernel/generic/src/main/uinit.c (modified) (6 diffs)

kernel/generic/src/main/uinit.c

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