Rev 3862 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3862 | Rev 3993 | ||
|---|---|---|---|
| Line 154... | Line 154... | ||
| 154 | printf("Unable to create kconsole thread\n"); |
154 | printf("Unable to create kconsole thread\n"); |
| 155 | } |
155 | } |
| 156 | #endif /* CONFIG_KCONSOLE */ |
156 | #endif /* CONFIG_KCONSOLE */ |
| 157 | 157 | ||
| 158 | interrupts_enable(); |
158 | interrupts_enable(); |
| 159 | - | ||
| 160 | /* |
159 | /* |
| 161 | * Create user tasks, load RAM disk images. |
160 | * Create user tasks, load RAM disk images. |
| 162 | */ |
161 | */ |
| 163 | count_t i; |
162 | count_t i; |
| 164 | program_t programs[CONFIG_INIT_TASKS]; |
163 | program_t programs[CONFIG_INIT_TASKS]; |
| Line 199... | Line 198... | ||
| 199 | if (programs[i].task != NULL) { |
198 | if (programs[i].task != NULL) { |
| 200 | thread_usleep(50000); |
199 | thread_usleep(50000); |
| 201 | program_ready(&programs[i]); |
200 | program_ready(&programs[i]); |
| 202 | } |
201 | } |
| 203 | } |
202 | } |
| 204 | - | ||
| 205 | #ifdef CONFIG_KCONSOLE |
203 | #ifdef CONFIG_KCONSOLE |
| 206 | if (!stdin) { |
204 | if (!stdin) { |
| 207 | printf("kinit: No stdin\nKernel alive: "); |
205 | printf("kinit: No stdin\nKernel alive: "); |
| 208 | 206 | ||
| 209 | uint64_t i = 0; |
207 | uint64_t i = 0; |