Rev 1787 | Rev 1833 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1787 | Rev 1826 | ||
---|---|---|---|
Line 220... | Line 220... | ||
220 | task_init(); |
220 | task_init(); |
221 | thread_init(); |
221 | thread_init(); |
222 | futex_init(); |
222 | futex_init(); |
223 | klog_init(); |
223 | klog_init(); |
224 | 224 | ||
- | 225 | if (init.cnt > 0) { |
|
225 | for (i = 0; i < init.cnt; i++) |
226 | for (i = 0; i < init.cnt; i++) |
226 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(uintptr_t) * 2, init.tasks[i].addr, i, init.tasks[i].size); |
227 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(uintptr_t) * 2, init.tasks[i].addr, i, init.tasks[i].size); |
- | 228 | } else |
|
- | 229 | printf("No init tasks found\n"); |
|
227 | 230 | ||
228 | ipc_init(); |
231 | ipc_init(); |
229 | 232 | ||
230 | /* |
233 | /* |
231 | * Create kernel task. |
234 | * Create kernel task. |