Rev 3761 | Rev 3984 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3761 | Rev 3790 | ||
---|---|---|---|
Line 267... | Line 267... | ||
267 | /* |
267 | /* |
268 | * Create kernel task. |
268 | * Create kernel task. |
269 | */ |
269 | */ |
270 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
270 | task_t *kernel = task_create(AS_KERNEL, "kernel"); |
271 | if (!kernel) |
271 | if (!kernel) |
272 | panic("Can't create kernel task\n"); |
272 | panic("Cannot create kernel task."); |
273 | 273 | ||
274 | /* |
274 | /* |
275 | * Create the first thread. |
275 | * Create the first thread. |
276 | */ |
276 | */ |
277 | thread_t *kinit_thread |
277 | thread_t *kinit_thread |
278 | = thread_create(kinit, NULL, kernel, 0, "kinit", true); |
278 | = thread_create(kinit, NULL, kernel, 0, "kinit", true); |
279 | if (!kinit_thread) |
279 | if (!kinit_thread) |
280 | panic("Can't create kinit thread\n"); |
280 | panic("Cannot create kinit thread."); |
281 | LOG_EXEC(thread_ready(kinit_thread)); |
281 | LOG_EXEC(thread_ready(kinit_thread)); |
282 | 282 | ||
283 | /* |
283 | /* |
284 | * This call to scheduler() will return to kinit, |
284 | * This call to scheduler() will return to kinit, |
285 | * starting the thread of kernel threads. |
285 | * starting the thread of kernel threads. |