Changes in kernel/generic/src/main/kinit.c [98000fb:3da11f37] 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;
@@ -217 +216 @@
                 }
         }
-        
+
         /*
          * Run user tasks.
@@ -225 +224 @@
                         program_ready(&programs[i]);
         }
-        
+
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {