Rev 1942 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1942 | Rev 1945 | ||
---|---|---|---|
Line 84... | Line 84... | ||
84 | void arch_post_mm_init(void) |
84 | void arch_post_mm_init(void) |
85 | { |
85 | { |
86 | irq_init(INR_COUNT, INR_COUNT); |
86 | irq_init(INR_COUNT, INR_COUNT); |
87 | ski_init_console(); |
87 | ski_init_console(); |
88 | it_init(); |
88 | it_init(); |
89 | ski_set_console_sysinfo(); |
- | |
90 | } |
89 | } |
91 | 90 | ||
92 | void arch_post_cpu_init(void) |
91 | void arch_post_cpu_init(void) |
93 | { |
92 | { |
94 | } |
93 | } |
Line 97... | Line 96... | ||
97 | { |
96 | { |
98 | } |
97 | } |
99 | 98 | ||
100 | void arch_post_smp_init(void) |
99 | void arch_post_smp_init(void) |
101 | { |
100 | { |
- | 101 | thread_t *t; |
|
- | 102 | ||
- | 103 | if (config.cpu_active == 1) { |
|
- | 104 | /* |
|
- | 105 | * Create thread that polls keyboard. |
|
- | 106 | */ |
|
- | 107 | t = thread_create(kkbdpoll, NULL, TASK, 0, "kkbdpoll"); |
|
- | 108 | if (!t) |
|
- | 109 | panic("cannot create kkbdpoll\n"); |
|
- | 110 | thread_ready(t); |
|
- | 111 | } |
|
102 | } |
112 | } |
103 | 113 | ||
104 | /** Enter userspace and never return. */ |
114 | /** Enter userspace and never return. */ |
105 | void userspace(uspace_arg_t *kernel_uarg) |
115 | void userspace(uspace_arg_t *kernel_uarg) |
106 | { |
116 | { |