Rev 1434 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1434 | Rev 1595 | ||
|---|---|---|---|
| Line 72... | Line 72... | ||
| 72 | #include <arch/faddr.h> |
72 | #include <arch/faddr.h> |
| 73 | #include <typedefs.h> |
73 | #include <typedefs.h> |
| 74 | #include <ipc/ipc.h> |
74 | #include <ipc/ipc.h> |
| 75 | #include <macros.h> |
75 | #include <macros.h> |
| 76 | #include <adt/btree.h> |
76 | #include <adt/btree.h> |
| - | 77 | #include <console/klog.h> |
|
| 77 | 78 | ||
| 78 | #ifdef CONFIG_SMP |
79 | #ifdef CONFIG_SMP |
| 79 | #include <arch/smp/apic.h> |
80 | #include <arch/smp/apic.h> |
| 80 | #include <arch/smp/mps.h> |
81 | #include <arch/smp/mps.h> |
| 81 | #endif /* CONFIG_SMP */ |
82 | #endif /* CONFIG_SMP */ |
| Line 216... | Line 217... | ||
| 216 | timeout_init(); |
217 | timeout_init(); |
| 217 | scheduler_init(); |
218 | scheduler_init(); |
| 218 | task_init(); |
219 | task_init(); |
| 219 | thread_init(); |
220 | thread_init(); |
| 220 | futex_init(); |
221 | futex_init(); |
| - | 222 | klog_init(); |
|
| 221 | 223 | ||
| 222 | for (i = 0; i < init.cnt; i++) |
224 | for (i = 0; i < init.cnt; i++) |
| 223 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(__address) * 2, init.tasks[i].addr, i, init.tasks[i].size); |
225 | printf("init[%zd].addr=%.*p, init[%zd].size=%zd\n", i, sizeof(__address) * 2, init.tasks[i].addr, i, init.tasks[i].size); |
| 224 | 226 | ||
| 225 | ipc_init(); |
227 | ipc_init(); |