Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision d28bdbe75cc46051fcb1dd433ed83437fd3320c0)
+++ kernel/generic/src/main/kinit.c	(revision 001957b64a7ead0eaa50ef46f3832f77e1902798)
@@ -73,4 +73,5 @@
 #include <align.h>
 #include <stdlib.h>
+#include <debug/register.h>
 
 #ifdef CONFIG_SMP
@@ -182,5 +183,5 @@
 	 */
 	size_t i;
-	program_t programs[CONFIG_INIT_TASKS];
+	program_t programs[CONFIG_INIT_TASKS] = { };
 
 	// FIXME: do not propagate arguments through sysinfo
@@ -237,4 +238,16 @@
 		    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) {