| /branches/dd/kernel/generic/src/main/kinit.c |
|---|
| 218,19 → 218,11 |
| } |
| /* |
| * Run user tasks with small delays |
| * to avoid intermixed klog output. |
| * |
| * TODO: This certainly does not guarantee |
| * anything, it just works in most of the |
| * cases. Some better way how to achieve |
| * nice klog output should be found. |
| * Run user tasks. |
| */ |
| for (i = 0; i < init.cnt; i++) { |
| if (programs[i].task != NULL) { |
| if (programs[i].task != NULL) |
| program_ready(&programs[i]); |
| thread_usleep(10000); |
| } |
| } |
| #ifdef CONFIG_KCONSOLE |
| /branches/dd/kernel/generic/src/main/main.c |
|---|
| 250,10 → 250,10 |
| count_t i; |
| for (i = 0; i < init.cnt; i++) |
| LOG("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc |
| "].size=%#" PRIs "\n", i, init.tasks[i].addr, i, |
| "].size=%#" PRIs, i, init.tasks[i].addr, i, |
| init.tasks[i].size); |
| } else |
| printf("No init binaries found\n"); |
| printf("No init binaries found.\n"); |
| LOG_EXEC(ipc_init()); |
| LOG_EXEC(event_init()); |