Rev 2223 | Rev 3029 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2223 | Rev 2445 | ||
|---|---|---|---|
| Line 165... | Line 165... | ||
| 165 | continue; |
165 | continue; |
| 166 | } |
166 | } |
| 167 | 167 | ||
| 168 | task_t *utask = task_run_program((void *) init.tasks[i].addr, |
168 | task_t *utask = task_run_program((void *) init.tasks[i].addr, |
| 169 | "uspace"); |
169 | "uspace"); |
| - | 170 | ||
| 170 | if (utask) { |
171 | if (utask) { |
| 171 | /* |
172 | /* |
| 172 | * Set capabilities to init userspace tasks. |
173 | * Set capabilities to init userspace tasks. |
| 173 | */ |
174 | */ |
| 174 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | |
175 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | |
| Line 179... | Line 180... | ||
| 179 | } else { |
180 | } else { |
| 180 | int rd = init_rd((rd_header *) init.tasks[i].addr, |
181 | int rd = init_rd((rd_header *) init.tasks[i].addr, |
| 181 | init.tasks[i].size); |
182 | init.tasks[i].size); |
| 182 | 183 | ||
| 183 | if (rd != RE_OK) |
184 | if (rd != RE_OK) |
| 184 | printf("Init binary %zd not used.\n", i); |
185 | printf("Init binary %zd not used, error code %d.\n", i, rd); |
| 185 | } |
186 | } |
| 186 | } |
187 | } |
| 187 | 188 | ||
| 188 | 189 | ||
| 189 | if (!stdin) { |
190 | if (!stdin) { |