Rev 3770 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3770 | Rev 3798 | ||
---|---|---|---|
Line 273... | Line 273... | ||
273 | thread_t *kinit_thread |
273 | thread_t *kinit_thread |
274 | = thread_create(kinit, NULL, kernel, 0, "kinit", true); |
274 | = thread_create(kinit, NULL, kernel, 0, "kinit", true); |
275 | if (!kinit_thread) |
275 | if (!kinit_thread) |
276 | panic("Can't create kinit thread\n"); |
276 | panic("Can't create kinit thread\n"); |
277 | LOG_EXEC(thread_ready(kinit_thread)); |
277 | LOG_EXEC(thread_ready(kinit_thread)); |
278 | 278 | ||
279 | /* |
279 | /* |
280 | * This call to scheduler() will return to kinit, |
280 | * This call to scheduler() will return to kinit, |
281 | * starting the thread of kernel threads. |
281 | * starting the thread of kernel threads. |
282 | */ |
282 | */ |
283 | scheduler(); |
283 | scheduler(); |