Changes in kernel/generic/src/main/kinit.c [40eab9f:1871118] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -61 +61 @@
 #include <stdio.h>
 #include <log.h>
-#include <memw.h>
+#include <mem.h>
 #include <console/console.h>
 #include <interrupt.h>
@@ -69 +69 @@
 #include <ipc/ipc.h>
 #include <str.h>
-#include <str_error.h>
 #include <sysinfo/stats.h>
 #include <sysinfo/sysinfo.h>
 #include <align.h>
 #include <stdlib.h>
-#include <debug/register.h>
 
 #ifdef CONFIG_SMP
@@ -184 +182 @@
          */
         size_t i;
-        program_t programs[CONFIG_INIT_TASKS] = { };
+        program_t programs[CONFIG_INIT_TASKS];
 
         // FIXME: do not propagate arguments through sysinfo
@@ -239 +237 @@
                     PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE);
                 assert(page);
-
-                if (str_cmp(name, "kernel.dbg") == 0) {
-                        /*
-                         * Not an actual init task, but rather debug sections extracted
-                         * from the kernel ELF file and handed to us here so we can use
-                         * it for debugging.
-                         */
-
-                        register_debug_data((void *) page, init.tasks[i].size);
-                        programs[i].task = NULL;
-                        continue;
-                }
 
                 if (str_cmp(name, "loader") == 0) {
@@ -268 +254 @@
                 }
 
-                errno_t rc = program_create_from_image((void *) page, init.tasks[i].size, namebuf,
+                errno_t rc = program_create_from_image((void *) page, namebuf,
                     &programs[i]);