+ 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);
+ }