/trunk/kernel/arch/ia64/src/ia64.c |
---|
86,7 → 86,6 |
irq_init(INR_COUNT, INR_COUNT); |
ski_init_console(); |
it_init(); |
ski_set_console_sysinfo(); |
} |
void arch_post_cpu_init(void) |
99,6 → 98,17 |
void arch_post_smp_init(void) |
{ |
thread_t *t; |
if (config.cpu_active == 1) { |
/* |
* Create thread that polls keyboard. |
*/ |
t = thread_create(kkbdpoll, NULL, TASK, 0, "kkbdpoll"); |
if (!t) |
panic("cannot create kkbdpoll\n"); |
thread_ready(t); |
} |
} |
/** Enter userspace and never return. */ |