Changeset b7dcabb in mainline

Timestamp:

2006-03-16T12:39:19Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2299914

Parents:

2ba7810

Message:

more verbose warning

File:

• generic/src/main/kinit.c (modified) (1 diff)

generic/src/main/kinit.c

@@ -148 +148 @@
                                 ipc_phone_0 = &utask->answerbox;
                 } else
-                        printf("Userspace not started.\n");
+                        printf("Init task %d not started.\n", i);
         }