/kernel/trunk/arch/ia32/src/ia32.c |
---|
34,7 → 34,7 |
#include <arch/pm.h> |
#include <arch/ega.h> |
#include <arch/i8042.h> |
#include <genarch/i8042/i8042.h> |
#include <arch/i8254.h> |
#include <arch/i8259.h> |
/kernel/trunk/arch/ia32/src/drivers/i8042.c |
---|
File deleted |