Changes in kernel/generic/src/main/kinit.c [b2fa1204:c8cbd39] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -59 +59 @@
 #include <mm/km.h>
 #include <print.h>
-#include <log.h>
 #include <memstr.h>
 #include <console/console.h>
@@ -141 +140 @@
                                 thread_ready(thread);
                         } else
-                                log(LF_OTHER, LVL_ERROR,
-                                    "Unable to create kcpulb thread for cpu%u", i);
+                                printf("Unable to create kcpulb thread for cpu%u\n", i);
                 }
         }
@@ -158 +156 @@
                 thread_ready(thread);
         else
-                log(LF_OTHER, LVL_ERROR, "Unable to create kload thread");
+                printf("Unable to create kload thread\n");
         
 #ifdef CONFIG_KCONSOLE
@@ -170 +168 @@
                         thread_ready(thread);
                 else
-                        log(LF_OTHER, LVL_ERROR,
-                            "Unable to create kconsole thread");
+                        printf("Unable to create kconsole thread\n");
         }
 #endif /* CONFIG_KCONSOLE */
-        
-        /*
-         * Store the default stack size in sysinfo so that uspace can create
-         * stack with this default size.
-         */
-        sysinfo_set_item_val("default.stack_size", NULL, STACK_SIZE_USER);
         
         interrupts_enable();
@@ -213 +204 @@
         for (i = 0; i < init.cnt; i++) {
                 if (init.tasks[i].paddr % FRAME_SIZE) {
-                        log(LF_OTHER, LVL_ERROR,
-                            "init[%zu]: Address is not frame aligned", i);
+                        printf("init[%zu]: Address is not frame aligned\n", i);
                         programs[i].task = NULL;
                         continue;
@@ -254 +244 @@
                                     CAP_IO_MANAGER | CAP_IRQ_REG);
                                 
-                                if (!ipc_phone_0) {
+                                if (!ipc_phone_0)
                                         ipc_phone_0 = &programs[i].task->answerbox;
-                                        /*
-                                         * Hold the first task so that the
-                                         * ipc_phone_0 remains a valid pointer
-                                         * even if the first task exits for
-                                         * whatever reason.
-                                         */
-                                        task_hold(programs[i].task);
-                                }
                         }
                         
@@ -277 +259 @@
                         init_rd((void *) init.tasks[i].paddr, init.tasks[i].size);
                 } else
-                        log(LF_OTHER, LVL_ERROR,
-                            "init[%zu]: Init binary load failed "
-                            "(error %d, loader status %u)", i, rc,
+                        printf("init[%zu]: Init binary load failed "
+                            "(error %d, loader status %u)\n", i, rc,
                             programs[i].loader_status);
         }