Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/src/main/main.c	(revision 5b23a82c8d68ae8b01f1fbb9ace30e2377050d55)
@@ -223,6 +223,9 @@
 	klog_init();
 	
-	for (i = 0; i < init.cnt; i++)
-		printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(uintptr_t) * 2, init.tasks[i].addr, i, init.tasks[i].size);
+	if (init.cnt > 0) {
+		for (i = 0; i < init.cnt; i++)
+			printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(uintptr_t) * 2, init.tasks[i].addr, i, init.tasks[i].size);
+	} else
+		printf("No init tasks found\n");
 	
 	ipc_init();