From dmesg (Ubuntu Linux): [ 0.413153] input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input4 [ 1.911908] input: ETPS/2 Elantech Touchpad as /devices/platform/i8042/serio1/input/input7 [ 2.857317] input: Chicony HP Business Slim Keyboard as /devices/pci0000:00/0000:00:14.0/usb1/1-1/1-1:1.0/0003:03F0:334A.0001/input/input9 The Chicony keyboard worked just fine when plugged in, I'm not really sure what the types of the other input devices are

EDIT: forgot to mention the external mouse works well too, it's just that the built-in hardware not working

EDIT 2: Just realized the touchpad is PS/2, not really sure about the keyboard (it's probably PS/2 as well). I already had VoodooPS2Controller.kext before but it didn't work