Rev 3149 | Rev 3191 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3149 | Rev 3153 | ||
---|---|---|---|
Line 78... | Line 78... | ||
78 | #include <ipc/ipc.h> |
78 | #include <ipc/ipc.h> |
79 | #include <macros.h> |
79 | #include <macros.h> |
80 | #include <adt/btree.h> |
80 | #include <adt/btree.h> |
81 | #include <smp/smp.h> |
81 | #include <smp/smp.h> |
82 | #include <ddi/ddi.h> |
82 | #include <ddi/ddi.h> |
- | 83 | #include <console/console.h> |
|
83 | 84 | ||
84 | /** Global configuration structure. */ |
85 | /** Global configuration structure. */ |
85 | config_t config; |
86 | config_t config; |
86 | 87 | ||
87 | /** Initial user-space tasks */ |
88 | /** Initial user-space tasks */ |
Line 254... | Line 255... | ||
254 | i, init.tasks[i].size); |
255 | i, init.tasks[i].size); |
255 | } else |
256 | } else |
256 | printf("No init binaries found\n"); |
257 | printf("No init binaries found\n"); |
257 | 258 | ||
258 | LOG_EXEC(ipc_init()); |
259 | LOG_EXEC(ipc_init()); |
- | 260 | LOG_EXEC(klog_init()); |
|
259 | 261 | ||
260 | /* |
262 | /* |
261 | * Create kernel task. |
263 | * Create kernel task. |
262 | */ |
264 | */ |
263 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
265 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |