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(); |