182 |
/* Initialize kernel allocator. */ |
/* Initialize kernel allocator. */ |
183 |
vm_kmem_init (vstart, vend); |
vm_kmem_init (vstart, vend); |
184 |
|
|
185 |
|
/* Initialize IPC system. */ |
186 |
|
ipc_init (); |
187 |
|
|
188 |
processor_init (); |
processor_init (); |
189 |
task_init (); |
task_init (); |
190 |
thread_init (); |
thread_init (); |
191 |
processor_init_idle_threads (); |
processor_init_idle_threads (); |
192 |
|
|
|
/* Initialize IPC system. */ |
|
|
#if 1 |
|
|
ipc_init (); |
|
|
#endif |
|
|
|
|
193 |
init_main (); |
init_main (); |
194 |
/* NOTREACHED */ |
/* NOTREACHED */ |
195 |
} |
} |