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; |