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. |