/kernel/trunk/arch/ia64/src/ia64.c |
---|
32,7 → 32,6 |
#include <arch/interrupt.h> |
#include <arch/barrier.h> |
#include <arch/types.h> |
#include <arch/drivers/keyboard.h> |
#include <console/console.h> |
43,7 → 42,6 |
srlz_d(); |
ski_init_console(); |
keyboard_init(); |
it_init(); |
} |