Changes in kernel/generic/src/main/kinit.c [3da11f37:98000fb] in mainline

File:

• kernel/generic/src/main/kinit.c (modified) (3 diffs)

kernel/generic/src/main/kinit.c

@@ -94 +94 @@
 void kinit(void *arg)
 {
+
 #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
         thread_t *thread;
@@ -216 +217 @@
                 }
         }
-
+        
         /*
          * Run user tasks.
@@ -224 +225 @@
                         program_ready(&programs[i]);
         }
-
+        
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {