Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 2ba78108c2b47014f0f5835ad107f014e6f9e4d0)
+++ generic/src/main/kinit.c	(revision b7dcabb5c2118ec7d9e0680db5929cb212188518)
@@ -148,5 +148,5 @@
 				ipc_phone_0 = &utask->answerbox;
 		} else
-			printf("Userspace not started.\n");
+			printf("Init task %d not started.\n", i);
 	}