#include <irq/idt.h>
#include <irq/interrupt.h>
#include <irq/i8259a.h>
+#include <input/ps2.h>
#include <stdint.h>
#include <mm/paging.h>
#include <panic.h>
pic_init(0x20, 0x28);
pic_mask_all();
asm volatile ("sti");
+ kprint("Initializing PS/2...\n", VGA_LIGHT_GRAY, VGA_BLACK);
+ int ret = ps2_initialize();
+ switch (ret) {
+ case -1:
+ kprint("No PS/2 devices found or something is faulty\n", VGA_LIGHT_GRAY, VGA_BLACK);
+ break;
+ case 0:
+ kprint("One PS/2 device found\n", VGA_LIGHT_GRAY, VGA_BLACK);
+ break;
+ case 1:
+ kprint("Two PS/2 devices found\n", VGA_LIGHT_GRAY, VGA_BLACK);
+ }
kprint("All done\n", VGA_LIGHT_GRAY, VGA_BLACK);
while(1);
}