Rev 3993 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3993 | Rev 4638 | ||
|---|---|---|---|
| Line 188... | Line 188... | ||
| 188 | 188 | ||
| 189 | if (rd != RE_OK) |
189 | if (rd != RE_OK) |
| 190 | printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
190 | printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
| 191 | } |
191 | } |
| 192 | } |
192 | } |
| 193 | 193 | ||
| 194 | /* |
194 | /* |
| 195 | * Run user tasks with reasonable delays |
195 | * Run user tasks with reasonable delays |
| 196 | */ |
196 | */ |
| 197 | for (i = 0; i < init.cnt; i++) { |
197 | for (i = 0; i < init.cnt; i++) { |
| 198 | if (programs[i].task != NULL) { |
198 | if (programs[i].task != NULL) { |
| 199 | thread_usleep(50000); |
199 | thread_usleep(50000); |
| 200 | program_ready(&programs[i]); |
200 | program_ready(&programs[i]); |
| 201 | } |
201 | } |
| 202 | } |
202 | } |
| - | 203 | ||
| 203 | #ifdef CONFIG_KCONSOLE |
204 | #ifdef CONFIG_KCONSOLE |
| 204 | if (!stdin) { |
205 | if (!stdin) { |
| 205 | printf("kinit: No stdin\nKernel alive: "); |
206 | printf("kinit: No stdin\nKernel alive: "); |
| 206 | 207 | ||
| 207 | uint64_t i = 0; |
208 | uint64_t i = 0; |