Rev 628 | Rev 651 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 628 | Rev 640 | ||
---|---|---|---|
Line 201... | Line 201... | ||
201 | printf("config.cpu_count=%d\n", config.cpu_count); |
201 | printf("config.cpu_count=%d\n", config.cpu_count); |
202 | 202 | ||
203 | cpu_init(); |
203 | cpu_init(); |
204 | 204 | ||
205 | calibrate_delay_loop(); |
205 | calibrate_delay_loop(); |
206 | 206 | ||
207 | timeout_init(); |
207 | timeout_init(); |
208 | scheduler_init(); |
208 | scheduler_init(); |
209 | task_init(); |
209 | task_init(); |
210 | thread_init(); |
210 | thread_init(); |
211 | 211 |