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