Changes in kernel/generic/src/main/kinit.c [98000fb:19f857a] 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 <string.h>
+#include <str.h>
 
 #ifdef CONFIG_SMP
@@ -94 +94 @@
 void kinit(void *arg)
 {
-
 #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
         thread_t *thread;
@@ -184 +183 @@
                 
                 char namebuf[TASK_NAME_BUFLEN];
-                char *name;
-                
-                name = init.tasks[i].name;
+                
+                const char *name = init.tasks[i].name;
                 if (name[0] == 0)
                         name = "<unknown>";
@@ -217 +215 @@
                 }
         }
-        
+
         /*
          * Run user tasks.
@@ -225 +223 @@
                         program_ready(&programs[i]);
         }
-        
+
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {