Rev 2292 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2292 | Rev 2307 | ||
---|---|---|---|
Line 80... | Line 80... | ||
80 | #include <adt/btree.h> |
80 | #include <adt/btree.h> |
81 | #include <console/klog.h> |
81 | #include <console/klog.h> |
82 | #include <smp/smp.h> |
82 | #include <smp/smp.h> |
83 | #include <ddi/ddi.h> |
83 | #include <ddi/ddi.h> |
84 | #include <proc/tasklet.h> |
84 | #include <proc/tasklet.h> |
- | 85 | #include <synch/rcu.h> |
|
85 | 86 | ||
86 | /** Global configuration structure. */ |
87 | /** Global configuration structure. */ |
87 | config_t config; |
88 | config_t config; |
88 | 89 | ||
89 | /** Initial user-space tasks */ |
90 | /** Initial user-space tasks */ |
Line 273... | Line 274... | ||
273 | panic("can't create kinit thread\n"); |
274 | panic("can't create kinit thread\n"); |
274 | thread_ready(t); |
275 | thread_ready(t); |
275 | 276 | ||
276 | tasklet_run_tasklet_thread(k); |
277 | tasklet_run_tasklet_thread(k); |
277 | 278 | ||
- | 279 | rcu_init(); |
|
- | 280 | ||
278 | /* |
281 | /* |
279 | * This call to scheduler() will return to kinit, |
282 | * This call to scheduler() will return to kinit, |
280 | * starting the thread of kernel threads. |
283 | * starting the thread of kernel threads. |
281 | */ |
284 | */ |
282 | scheduler(); |
285 | scheduler(); |