/kernel/trunk/arch/ia32/src/ia32.c |
---|
56,7 → 56,6 |
if (config.cpu_active == 1) { |
bios_init(); |
i8042_init(); /* keyboard controller */ |
i8259_init(); /* PIC */ |
i8254_init(); /* hard clock */ |
89,7 → 88,7 |
void arch_post_smp_init(void) |
{ |
trap_virtual_enable_irqs(1<<IRQ_KBD); |
i8042_init(); /* keyboard controller */ |
} |
void calibrate_delay_loop(void) |