| 81,6 → 81,7 |
|---|
| #include <console/klog.h> |
| #include <smp/smp.h> |
| #include <ddi/ddi.h> |
| #include <ddi/tasklet.h> |
| |
| /** Global configuration structure. */ |
| config_t config; |
| 218,6 → 219,8 |
|---|
| page_init(); |
| tlb_init(); |
| ddi_init(); |
| tasklet_init(); |
| // tasklet_do(); |
| arch_post_mm_init(); |
| |
| version_print(); |
| 236,14 → 239,17 |
|---|
| 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(); |
| // tasklet_do(); |
| timeout_init(); |
| scheduler_init(); |
| task_init(); |
| thread_init(); |
| futex_init(); |
| |
| |
| klog_init(); |
| |
| if (init.cnt > 0) { |
| 255,6 → 261,7 |
|---|
| printf("No init binaries found\n"); |
| |
| ipc_init(); |
| //tasklet_do(); |
| |
| /* |
| * Create kernel task. |
| 270,6 → 277,8 |
|---|
| if (!t) |
| panic("can't create kinit thread\n"); |
| thread_ready(t); |
| |
| tasklet_run_tasklet_thread(k); |
| |
| /* |
| * This call to scheduler() will return to kinit, |