Rev 2019 | Rev 2042 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2019 | Rev 2039 | ||
|---|---|---|---|
| Line 159... | Line 159... | ||
| 159 | if (init.tasks[i].addr % FRAME_SIZE) { |
159 | if (init.tasks[i].addr % FRAME_SIZE) { |
| 160 | printf("init[%d].addr is not frame aligned", i); |
160 | printf("init[%d].addr is not frame aligned", i); |
| 161 | continue; |
161 | continue; |
| 162 | } |
162 | } |
| 163 | 163 | ||
| 164 | task_t *utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
164 | task_t *utask = task_run_program((void *) init.tasks[i].addr, "uspace"); |
| 165 | if (utask) { |
165 | if (utask) { |
| 166 | /* |
166 | /* |
| 167 | * Set capabilities to init userspace tasks. |
167 | * Set capabilities to init userspace tasks. |
| 168 | */ |
168 | */ |
| 169 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
169 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |