/kernel/trunk/arch/amd64/Makefile.inc |
---|
63,6 → 63,11 |
CONFIG_PAGE_PT = y |
## Compile with i8042 support. |
# |
CONFIG_I8042 = y |
## Accepted configuration directives |
# |
84,7 → 89,6 |
arch/$(ARCH)/src/pm.c \ |
arch/$(ARCH)/src/context.S \ |
arch/$(ARCH)/src/drivers/ega.c \ |
arch/$(ARCH)/src/drivers/i8042.c \ |
arch/$(ARCH)/src/drivers/i8254.c \ |
arch/$(ARCH)/src/drivers/i8259.c \ |
arch/$(ARCH)/src/delay.S \ |
/kernel/trunk/arch/amd64/src/amd64.c |
---|
33,7 → 33,7 |
#include <config.h> |
#include <arch/ega.h> |
#include <arch/i8042.h> |
#include <genarch/i8042/i8042.h> |
#include <arch/i8254.h> |
#include <arch/i8259.h> |