Rev 1901 | Rev 2015 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1901 | Rev 1999 | ||
|---|---|---|---|
| Line 232... | Line 232... | ||
| 232 | 232 | ||
| 233 | if (init.cnt > 0) { |
233 | if (init.cnt > 0) { |
| 234 | for (i = 0; i < init.cnt; i++) |
234 | for (i = 0; i < init.cnt; i++) |
| 235 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(uintptr_t) * 2, init.tasks[i].addr, i, init.tasks[i].size); |
235 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(uintptr_t) * 2, init.tasks[i].addr, i, init.tasks[i].size); |
| 236 | } else |
236 | } else |
| 237 | printf("No init tasks found\n"); |
237 | printf("No init binaries found\n"); |
| 238 | 238 | ||
| 239 | ipc_init(); |
239 | ipc_init(); |
| 240 | 240 | ||
| 241 | /* |
241 | /* |
| 242 | * Create kernel task. |
242 | * Create kernel task. |