/kernel/trunk/arch/ia64/src/drivers/keyboard.c |
---|
File deleted |
/kernel/trunk/arch/ia64/src/drivers/it.c |
---|
29,7 → 29,7 |
/** Interval Timer driver. */ |
#include <arch/drivers/it.h> |
#include <arch/drivers/keyboard.h> |
#include <arch/ski/ski.h> |
#include <arch/interrupt.h> |
#include <arch/register.h> |
#include <arch/asm.h> |