Rev 860 | Rev 1037 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 860 | Rev 955 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | #include <synch/waitq.h> |
52 | #include <synch/waitq.h> |
53 | #include <arch/arch.h> |
53 | #include <arch/arch.h> |
54 | #include <arch.h> |
54 | #include <arch.h> |
55 | #include <arch/faddr.h> |
55 | #include <arch/faddr.h> |
56 | #include <typedefs.h> |
56 | #include <typedefs.h> |
- | 57 | #include <ipc/ipc.h> |
|
57 | 58 | ||
58 | #ifdef CONFIG_SMP |
59 | #ifdef CONFIG_SMP |
59 | #include <arch/smp/apic.h> |
60 | #include <arch/smp/apic.h> |
60 | #include <arch/smp/mps.h> |
61 | #include <arch/smp/mps.h> |
61 | #endif /* CONFIG_SMP */ |
62 | #endif /* CONFIG_SMP */ |
Line 188... | Line 189... | ||
188 | task_init(); |
189 | task_init(); |
189 | thread_init(); |
190 | thread_init(); |
190 | 191 | ||
191 | if (config.init_size > 0) |
192 | if (config.init_size > 0) |
192 | printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size); |
193 | printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size); |
193 | 194 | ||
- | 195 | ipc_init(); |
|
194 | /* |
196 | /* |
195 | * Create kernel task. |
197 | * Create kernel task. |
196 | */ |
198 | */ |
197 | k = task_create(AS_KERNEL); |
199 | k = task_create(AS_KERNEL); |
198 | if (!k) |
200 | if (!k) |