| 50,6 → 50,7 |
|---|
| #include <mm/as.h> |
| #include <mm/slab.h> |
| #include <synch/waitq.h> |
| #include <synch/futex.h> |
| #include <arch/arch.h> |
| #include <arch.h> |
| #include <arch/faddr.h> |
| 64,7 → 65,7 |
|---|
| #include <smp/smp.h> |
| |
| config_t config; /**< Global configuration structure. */ |
| init_t init = {0}; /**< Initial user-space tasks */ |
| init_t init = {0}; /**< Initial user-space tasks */ |
| |
| context_t ctx; |
| |
| 143,8 → 144,10 |
|---|
| { |
| task_t *k; |
| thread_t *t; |
| count_t i; |
| |
| the_initialize(THE); |
| |
| /* |
| * kconsole data structures must be initialized very early |
| * because other subsystems will register their respective |
| 187,12 → 190,13 |
|---|
| scheduler_init(); |
| task_init(); |
| thread_init(); |
| futex_init(); |
| |
| count_t i; |
| for (i = 0; i < init.cnt; i++) |
| printf("init[%d].addr=%P, init[%d].size=%d\n", i, init.tasks[i].addr, i, init.tasks[i].size); |
| |
| ipc_init(); |
| |
| /* |
| * Create kernel task. |
| */ |