238,7 → 238,7 |
printf("config.memory_size=%zdM\n", config.memory_size >> 20); |
printf("config.cpu_count=%zd\n", config.cpu_count); |
cpu_init(); |
|
|
calibrate_delay_loop(); |
clock_counter_init(); |
timeout_init(); |
246,8 → 246,6 |
task_init(); |
thread_init(); |
futex_init(); |
|
|
klog_init(); |
|
if (init.cnt > 0) { |
257,6 → 255,7 |
init.tasks[i].size); |
} else |
printf("No init binaries found\n"); |
|
ipc_init(); |
|
/* |
273,10 → 272,9 |
if (!t) |
panic("can't create kinit thread\n"); |
thread_ready(t); |
|
tasklet_run_tasklet_thread(k); |
|
//tasklets disabled for debugging purposes |
tasklet_run_tasklet_thread(k); |
|
/* |
* This call to scheduler() will return to kinit, |
* starting the thread of kernel threads. |