Rev 3993 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3993 | Rev 4638 | ||
|---|---|---|---|
| Line 198... | Line 198... | ||
| 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; |