Rev 1174 | Rev 1297 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1174 | Rev 1196 | ||
|---|---|---|---|
| Line 151... | Line 151... | ||
| 151 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER); |
151 | cap_set(utask, CAP_CAP | CAP_MEM_MANAGER | CAP_IO_MANAGER); |
| 152 | 152 | ||
| 153 | if (!ipc_phone_0) |
153 | if (!ipc_phone_0) |
| 154 | ipc_phone_0 = &utask->answerbox; |
154 | ipc_phone_0 = &utask->answerbox; |
| 155 | } else |
155 | } else |
| 156 | printf("Init task %d not started.\n", i); |
156 | printf("Init task %zd not started.\n", i); |
| 157 | } |
157 | } |
| 158 | 158 | ||
| 159 | #ifdef CONFIG_TEST |
159 | #ifdef CONFIG_TEST |
| 160 | test(); |
160 | test(); |
| 161 | #endif /* CONFIG_TEST */ |
161 | #endif /* CONFIG_TEST */ |