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

File:

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

kernel/generic/src/main/kinit.c

@@ -66 +66 @@
 #include <ipc/ipc.h>
 #include <debug.h>
-#include <str.h>
+#include <string.h>
 
 #ifdef CONFIG_SMP
@@ -94 +94 @@
 void kinit(void *arg)
 {
+
 #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
         thread_t *thread;
@@ -183 +184 @@
                 
                 char namebuf[TASK_NAME_BUFLEN];
-                
-                const char *name = init.tasks[i].name;
+                char *name;
+                
+                name = init.tasks[i].name;
                 if (name[0] == 0)
                         name = "<unknown>";
@@ -215 +217 @@
                 }
         }
-
+        
         /*
          * Run user tasks.
@@ -223 +225 @@
                         program_ready(&programs[i]);
         }
-
+        
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {