Rev 4337 | Rev 4339 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4337 | Rev 4338 | ||
---|---|---|---|
Line 258... | Line 258... | ||
258 | printf("No init binaries found\n"); |
258 | printf("No init binaries found\n"); |
259 | 259 | ||
260 | LOG_EXEC(ipc_init()); |
260 | LOG_EXEC(ipc_init()); |
261 | LOG_EXEC(klog_init()); |
261 | LOG_EXEC(klog_init()); |
262 | 262 | ||
- | 263 | #ifdef CONFIG_KCONSOLE |
|
- | 264 | LOG_EXEC(kconsole_notify_init()); |
|
- | 265 | #endif |
|
- | 266 | ||
263 | /* |
267 | /* |
264 | * Create kernel task. |
268 | * Create kernel task. |
265 | */ |
269 | */ |
266 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
270 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
267 | if (!kernel) |
271 | if (!kernel) |