Energia port of Arduino PS2Keyboard library