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"); |