Rev 1040 | Rev 1174 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1040 | Rev 1042 | ||
|---|---|---|---|
| Line 145... | Line 145... | ||
| 145 | utask = task_run_program((void *) init.tasks[i].addr); |
145 | utask = task_run_program((void *) init.tasks[i].addr); |
| 146 | if (utask) { |
146 | if (utask) { |
| 147 | if (!ipc_phone_0) |
147 | if (!ipc_phone_0) |
| 148 | ipc_phone_0 = &utask->answerbox; |
148 | ipc_phone_0 = &utask->answerbox; |
| 149 | } else |
149 | } else |
| 150 | printf("Userspace not started.\n"); |
150 | printf("Init task %d not started.\n", i); |
| 151 | } |
151 | } |
| 152 | 152 | ||
| 153 | #ifdef CONFIG_TEST |
153 | #ifdef CONFIG_TEST |
| 154 | test(); |
154 | test(); |
| 155 | #endif /* CONFIG_TEST */ |
155 | #endif /* CONFIG_TEST */ |