Rev 2015 | Rev 2042 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2015 | Rev 2039 | ||
|---|---|---|---|
| Line 257... | Line 257... | ||
| 257 | ipc_init(); |
257 | ipc_init(); |
| 258 | 258 | ||
| 259 | /* |
259 | /* |
| 260 | * Create kernel task. |
260 | * Create kernel task. |
| 261 | */ |
261 | */ |
| 262 | k = task_create(AS_KERNEL, "KERNEL"); |
262 | k = task_create(AS_KERNEL, "kernel"); |
| 263 | if (!k) |
263 | if (!k) |
| 264 | panic("can't create kernel task\n"); |
264 | panic("can't create kernel task\n"); |
| 265 | 265 | ||
| 266 | /* |
266 | /* |
| 267 | * Create the first thread. |
267 | * Create the first thread. |