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); |