Changes in kernel/generic/src/main/kinit.c [49eb681:da1bafb] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -107 +107 @@
         if (config.cpu_count > 1) {
                 waitq_initialize(&ap_completion_wq);
-                
                 /*
                  * Create the kmp thread and wait for its completion.
@@ -125 +124 @@
                 thread_join(thread);
                 thread_detach(thread);
+        }
+        
+        if (config.cpu_count > 1) {
+                size_t i;
                 
                 /*
                  * For each CPU, create its load balancing thread.
                  */
-                size_t i;
-                
                 for (i = 0; i < config.cpu_count; i++) {
                         thread = thread_create(kcpulb, NULL, TASK, THREAD_FLAG_WIRED, "kcpulb", true);
@@ -180 +181 @@
                 if (init.tasks[i].addr % FRAME_SIZE) {
                         printf("init[%" PRIs "].addr is not frame aligned\n", i);
-                        programs[i].task = NULL;
                         continue;
                 }