Changes in kernel/generic/src/main/kinit.c [a36c4aa:6a044dd] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -86 +86 @@
 
 #ifdef CONFIG_KCONSOLE
-static char alive[ALIVE_CHARS] __attribute__((nonstring)) = "-\\|/";
+static char alive[ALIVE_CHARS] = "-\\|/";
 #endif
 
@@ -108 +108 @@
 #ifdef CONFIG_SMP
         if (config.cpu_count > 1) {
+                semaphore_initialize(&ap_completion_semaphore, 0);
+
                 /*
                  * Create the kmp thread and wait for its completion.