Rev 3865 | Rev 3995 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3865 | Rev 3987 | ||
|---|---|---|---|
| Line 172... | Line 172... | ||
| 172 | for (i = 0; i < init.cnt; i++) { |
172 | for (i = 0; i < init.cnt; i++) { |
| 173 | if (init.tasks[i].addr % FRAME_SIZE) { |
173 | if (init.tasks[i].addr % FRAME_SIZE) { |
| 174 | printf("init[%" PRIc "].addr is not frame aligned\n", i); |
174 | printf("init[%" PRIc "].addr is not frame aligned\n", i); |
| 175 | continue; |
175 | continue; |
| 176 | } |
176 | } |
| - | 177 | ||
| - | 178 | char *name = init.tasks[i].name; |
|
| - | 179 | if (name[0] == '\0') name = "init-bin"; |
|
| 177 | 180 | ||
| 178 | int rc = program_create_from_image((void *) init.tasks[i].addr, |
181 | int rc = program_create_from_image((void *) init.tasks[i].addr, |
| 179 | "init-bin", &programs[i]); |
182 | name, &programs[i]); |
| 180 | 183 | ||
| 181 | if ((rc == 0) && (programs[i].task != NULL)) { |
184 | if ((rc == 0) && (programs[i].task != NULL)) { |
| 182 | /* |
185 | /* |
| 183 | * Set capabilities to init userspace tasks. |
186 | * Set capabilities to init userspace tasks. |
| 184 | */ |
187 | */ |