Rev 4084 | Rev 4252 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4084 | Rev 4173 | ||
---|---|---|---|
Line 80... | Line 80... | ||
80 | #include <macros.h> |
80 | #include <macros.h> |
81 | #include <adt/btree.h> |
81 | #include <adt/btree.h> |
82 | #include <smp/smp.h> |
82 | #include <smp/smp.h> |
83 | #include <ddi/ddi.h> |
83 | #include <ddi/ddi.h> |
84 | #include <main/main.h> |
84 | #include <main/main.h> |
- | 85 | #include <event/event.h> |
|
85 | 86 | ||
86 | /** Global configuration structure. */ |
87 | /** Global configuration structure. */ |
87 | config_t config; |
88 | config_t config; |
88 | 89 | ||
89 | /** Initial user-space tasks */ |
90 | /** Initial user-space tasks */ |
Line 253... | Line 254... | ||
253 | init.tasks[i].size); |
254 | init.tasks[i].size); |
254 | } else |
255 | } else |
255 | printf("No init binaries found\n"); |
256 | printf("No init binaries found\n"); |
256 | 257 | ||
257 | LOG_EXEC(ipc_init()); |
258 | LOG_EXEC(ipc_init()); |
- | 259 | LOG_EXEC(event_init()); |
|
258 | LOG_EXEC(klog_init()); |
260 | LOG_EXEC(klog_init()); |
259 | 261 | ||
260 | #ifdef CONFIG_KCONSOLE |
- | |
261 | LOG_EXEC(kconsole_notify_init()); |
- | |
262 | #endif |
- | |
263 | - | ||
264 | /* |
262 | /* |
265 | * Create kernel task. |
263 | * Create kernel task. |
266 | */ |
264 | */ |
267 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
265 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
268 | if (!kernel) |
266 | if (!kernel) |