A dash of RPi.GPIO and a sprinkle of python-uinput make for something that maps serial inputs to key presses