Rev 4252 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4252 | Rev 4384 | ||
|---|---|---|---|
| Line 248... | Line 248... | ||
| 248 | 248 | ||
| 249 | if (init.cnt > 0) { |
249 | if (init.cnt > 0) { |
| 250 | count_t i; |
250 | count_t i; |
| 251 | for (i = 0; i < init.cnt; i++) |
251 | for (i = 0; i < init.cnt; i++) |
| 252 | LOG("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc |
252 | LOG("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc |
| 253 | "].size=%#" PRIs "\n", i, init.tasks[i].addr, i, |
253 | "].size=%#" PRIs, i, init.tasks[i].addr, i, |
| 254 | init.tasks[i].size); |
254 | init.tasks[i].size); |
| 255 | } else |
255 | } else |
| 256 | printf("No init binaries found\n"); |
256 | printf("No init binaries found.\n"); |
| 257 | 257 | ||
| 258 | LOG_EXEC(ipc_init()); |
258 | LOG_EXEC(ipc_init()); |
| 259 | LOG_EXEC(event_init()); |
259 | LOG_EXEC(event_init()); |
| 260 | LOG_EXEC(klog_init()); |
260 | LOG_EXEC(klog_init()); |
| 261 | 261 | ||