/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> |
148,7 → 148,7 |
void arch_post_smp_init(void) |
{ |
i8042_init(); /* keyboard controller */ |
i8042_init(); /* keyboard controller */ |
} |
void calibrate_delay_loop(void) |