4 * PS/2 Keboard / Mouse Driver
11 // TODO: Allow runtime/compile-time switching
12 // Maybe PCI will have it?
15 #define KEYBOARD_IRQ 3
16 #define KEYBOARD_BASE 0x18000000
18 #define MOUSE_BASE 0x19000000
22 #define KEYBOARD_IRQ 20
23 #define KEYBOARD_BASE 0x10006000
25 #define MOUSE_BASE 0x10007000
29 int PS2_Install(char **Arguments);
32 MODULE_DEFINE(0, 0x0100, Input_PS2KbMouse, PS2_Install, NULL, NULL); // Shuts the makefile up
33 MODULE_DEFINE(0, 0x0100, PS2Keyboard, KB_Install, NULL, "Input_PS2KbMouse", "Keyboard", NULL);
34 MODULE_DEFINE(0, 0x0100, PS2Mouse, PS2Mouse_Install, NULL, "Input_PS2KbMouse", "Mouse", NULL);
37 int PS2_Install(char **Arguments)
39 #if ARCHDIR_is_x86 || ARCHDIR_is_x86_64
41 gpPS2Mouse_EnableFcn = KBC8042_EnableMouse;
42 #elif ARCHDIR_is_armv7
43 PL050_Init(KEYBOARD_BASE, KEYBOARD_IRQ, MOUSE_BASE, MOUSE_IRQ);
44 gpPS2Mouse_EnableFcn = PL050_EnableMouse;