Rev 2002 | Rev 2019 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2002 | Rev 2005 | ||
|---|---|---|---|
| Line 178... | Line 178... | ||
| 178 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
178 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
| 179 | 179 | ||
| 180 | if (!ipc_phone_0) |
180 | if (!ipc_phone_0) |
| 181 | ipc_phone_0 = &utask->answerbox; |
181 | ipc_phone_0 = &utask->answerbox; |
| 182 | } else { |
182 | } else { |
| 183 | int rd = init_rd((void *) init.tasks[i].addr); |
183 | int rd = init_rd((rd_header *) init.tasks[i].addr, init.tasks[i].size); |
| 184 | 184 | ||
| 185 | if (rd != RE_OK) |
185 | if (rd != RE_OK) |
| 186 | printf("Init binary %zd not used.\n", i); |
186 | printf("Init binary %zd not used.\n", i); |
| 187 | } |
187 | } |
| 188 | } |
188 | } |