| 81,7 → 81,7 |
|---|
| #include <console/klog.h> |
| #include <smp/smp.h> |
| #include <ddi/ddi.h> |
| #include <ddi/tasklet.h> |
| #include <proc/tasklet.h> |
| |
| /** Global configuration structure. */ |
| config_t config; |
| 220,7 → 220,6 |
|---|
| tlb_init(); |
| ddi_init(); |
| tasklet_init(); |
| // tasklet_do(); |
| arch_post_mm_init(); |
| |
| version_print(); |
| 242,7 → 241,6 |
|---|
| |
| calibrate_delay_loop(); |
| clock_counter_init(); |
| // tasklet_do(); |
| timeout_init(); |
| scheduler_init(); |
| task_init(); |
| 259,9 → 257,7 |
|---|
| init.tasks[i].size); |
| } else |
| printf("No init binaries found\n"); |
| |
| ipc_init(); |
| //tasklet_do(); |
| |
| /* |
| * Create kernel task. |
| 278,7 → 274,8 |
|---|
| 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, |