Rev 3397 | Rev 3549 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3397 | Rev 3514 | ||
---|---|---|---|
Line 154... | Line 154... | ||
154 | else |
154 | else |
155 | panic("thread_create/kconsole\n"); |
155 | panic("thread_create/kconsole\n"); |
156 | 156 | ||
157 | interrupts_enable(); |
157 | interrupts_enable(); |
158 | 158 | ||
- | 159 | #if 0 |
|
- | 160 | ||
159 | /* |
161 | /* |
160 | * Create user tasks, load RAM disk images. |
162 | * Create user tasks, load RAM disk images. |
161 | */ |
163 | */ |
162 | count_t i; |
164 | count_t i; |
163 | program_t programs[CONFIG_INIT_TASKS]; |
165 | program_t programs[CONFIG_INIT_TASKS]; |
Line 200... | Line 202... | ||
200 | if (programs[i].task != NULL) { |
202 | if (programs[i].task != NULL) { |
201 | thread_usleep(50000); |
203 | thread_usleep(50000); |
202 | program_ready(&programs[i]); |
204 | program_ready(&programs[i]); |
203 | } |
205 | } |
204 | } |
206 | } |
- | 207 | #endif |
|
205 | 208 | ||
206 | if (!stdin) { |
209 | if (!stdin) { |
207 | while (1) { |
210 | while (1) { |
208 | thread_sleep(1); |
211 | thread_sleep(1); |
209 | printf("kinit... "); |
212 | printf("kinit... "); |