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 |