Rev 1037 | Rev 1063 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1037 | Rev 1062 | ||
|---|---|---|---|
| Line 194... | Line 194... | ||
| 194 | 194 | ||
| 195 | ipc_init(); |
195 | ipc_init(); |
| 196 | /* |
196 | /* |
| 197 | * Create kernel task. |
197 | * Create kernel task. |
| 198 | */ |
198 | */ |
| 199 | k = task_create(AS_KERNEL); |
199 | k = task_create(AS_KERNEL, "KERNEL"); |
| 200 | if (!k) |
200 | if (!k) |
| 201 | panic("can't create kernel task\n"); |
201 | panic("can't create kernel task\n"); |
| 202 | 202 | ||
| 203 | /* |
203 | /* |
| 204 | * Create the first thread. |
204 | * Create the first thread. |
| 205 | */ |
205 | */ |
| 206 | t = thread_create(kinit, NULL, k, 0); |
206 | t = thread_create(kinit, NULL, k, 0, "kinit"); |
| 207 | if (!t) |
207 | if (!t) |
| 208 | panic("can't create kinit thread\n"); |
208 | panic("can't create kinit thread\n"); |
| 209 | thread_ready(t); |
209 | thread_ready(t); |
| 210 | 210 | ||
| 211 | /* |
211 | /* |