Changes in kernel/generic/src/main/kinit.c [1871118:40eab9f] 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 <mem.h>
+#include <memw.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
@@ -182 +184 @@
          */
         size_t i;
-        program_t programs[CONFIG_INIT_TASKS];
+        program_t programs[CONFIG_INIT_TASKS] = { };
 
         // FIXME: do not propagate arguments through sysinfo
@@ -237 +239 @@
                     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) {
@@ -254 +268 @@
                 }
 
-                errno_t rc = program_create_from_image((void *) page, namebuf,
+                errno_t rc = program_create_from_image((void *) page, init.tasks[i].size, namebuf,
                     &programs[i]);