37,15 → 37,8 |
#include <typedefs.h> |
#include <genarch/fb/fb.h> |
#include <arch/drivers/fb.h> |
|
#include <arch/drivers/kbd.h> |
#ifdef CONFIG_Z8530 |
#include <genarch/kbd/z8530.h> |
#endif |
#ifdef CONFIG_16550A |
#include <genarch/kbd/16550a.h> |
#endif |
|
#include <arch/drivers/i8042.h> |
#include <genarch/i8042/i8042.h> |
#include <console/chardev.h> |
#include <console/console.h> |
#include <arch/asm.h> |
78,12 → 71,7 |
return; |
|
while (1) { |
#ifdef CONFIG_Z8530 |
z8530_poll(); |
#endif |
#ifdef CONFIG_16550A |
16550a_poll(); |
#endif |
i8042_poll(); |
thread_usleep(KEYBOARD_POLL_PAUSE); |
} |
} |