/kernel/trunk/arch/ia64/src/ia64.c |
---|
32,7 → 32,10 |
#include <arch/interrupt.h> |
#include <arch/barrier.h> |
#include <arch/types.h> |
#include <arch/drivers/keyboard.h> |
#include <console/console.h> |
void arch_pre_mm_init(void) |
{ |
/* Set Interruption Vector Address (i.e. location of interruption vector table). */ |
40,6 → 43,7 |
srlz_d(); |
ski_init_console(); |
keyboard_init(); |
it_init(); |
} |