| /branches/dynload/kernel/generic/src/main/kinit.c |
|---|
| 175,8 → 175,11 |
| continue; |
| } |
| char *name = init.tasks[i].name; |
| if (name[0] == '\0') name = "init-bin"; |
| int rc = program_create_from_image((void *) init.tasks[i].addr, |
| "init-bin", &programs[i]); |
| name, &programs[i]); |
| if ((rc == 0) && (programs[i].task != NULL)) { |
| /* |