Rev 2265 | Rev 2292 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2265 | Rev 2283 | ||
|---|---|---|---|
| Line 273... | Line 273... | ||
| 273 | if (!t) |
273 | if (!t) |
| 274 | panic("can't create kinit thread\n"); |
274 | panic("can't create kinit thread\n"); |
| 275 | thread_ready(t); |
275 | thread_ready(t); |
| 276 | 276 | ||
| 277 | //tasklets disabled for debugging purposes |
277 | //tasklets disabled for debugging purposes |
| 278 | //tasklet_run_tasklet_thread(k); |
278 | tasklet_run_tasklet_thread(k); |
| 279 | 279 | ||
| 280 | /* |
280 | /* |
| 281 | * This call to scheduler() will return to kinit, |
281 | * This call to scheduler() will return to kinit, |
| 282 | * starting the thread of kernel threads. |
282 | * starting the thread of kernel threads. |
| 283 | */ |
283 | */ |