Rev 3514 | Rev 3593 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3514 | Rev 3549 | ||
---|---|---|---|
Line 153... | Line 153... | ||
153 | thread_ready(t); |
153 | thread_ready(t); |
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 | - | ||
159 | #if 0 |
- | |
160 | 158 | ||
161 | /* |
159 | /* |
162 | * Create user tasks, load RAM disk images. |
160 | * Create user tasks, load RAM disk images. |
163 | */ |
161 | */ |
164 | count_t i; |
162 | count_t i; |
165 | program_t programs[CONFIG_INIT_TASKS]; |
163 | program_t programs[CONFIG_INIT_TASKS]; |
Line 202... | Line 200... | ||
202 | if (programs[i].task != NULL) { |
200 | if (programs[i].task != NULL) { |
203 | thread_usleep(50000); |
201 | thread_usleep(50000); |
204 | program_ready(&programs[i]); |
202 | program_ready(&programs[i]); |
205 | } |
203 | } |
206 | } |
204 | } |
207 | #endif |
- | |
208 | 205 | ||
209 | if (!stdin) { |
206 | if (!stdin) { |
210 | while (1) { |
207 | while (1) { |
211 | thread_sleep(1); |
208 | thread_sleep(1); |
212 | printf("kinit... "); |
209 | printf("kinit... "); |