Rev 1248 | Rev 1576 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1248 | Rev 1297 | ||
---|---|---|---|
Line 157... | Line 157... | ||
157 | utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
157 | utask = task_run_program((void *) init.tasks[i].addr, "USPACE"); |
158 | if (utask) { |
158 | if (utask) { |
159 | /* |
159 | /* |
160 | * Set capabilities to init userspace tasks. |
160 | * Set capabilities to init userspace tasks. |
161 | */ |
161 | */ |
162 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER); |
162 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL); |
163 | 163 | ||
164 | if (!ipc_phone_0) |
164 | if (!ipc_phone_0) |
165 | ipc_phone_0 = &utask->answerbox; |
165 | ipc_phone_0 = &utask->answerbox; |
166 | } else |
166 | } else |
167 | printf("Init task %zd not started.\n", i); |
167 | printf("Init task %zd not started.\n", i); |