Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 9a1b20c34d5404b8272209d06c0239aa1a2384da)
+++ kernel/generic/src/main/kinit.c	(revision 9a3d5f0d0c12e51832c4770d65a3472c07e267b1)
@@ -170,5 +170,5 @@
 
 		int rc = program_create_from_image((void *) init.tasks[i].addr,
-		    &programs[i]);
+		    "init-bin", &programs[i]);
 
 		if (rc == 0 && programs[i].task != NULL) {