| /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(); |
| } |