Rev 1389 | Rev 1595 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1389 | Rev 1434 | ||
---|---|---|---|
Line 210... | Line 210... | ||
210 | printf("config.memory_size=%zdM\n", config.memory_size >> 20); |
210 | printf("config.memory_size=%zdM\n", config.memory_size >> 20); |
211 | printf("config.cpu_count=%zd\n", config.cpu_count); |
211 | printf("config.cpu_count=%zd\n", config.cpu_count); |
212 | cpu_init(); |
212 | cpu_init(); |
213 | 213 | ||
214 | calibrate_delay_loop(); |
214 | calibrate_delay_loop(); |
- | 215 | clock_counter_init(); |
|
215 | timeout_init(); |
216 | timeout_init(); |
216 | scheduler_init(); |
217 | scheduler_init(); |
217 | task_init(); |
218 | task_init(); |
218 | thread_init(); |
219 | thread_init(); |
219 | futex_init(); |
220 | futex_init(); |