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