A simple tool to upload your .hex file to a raspberry pi (or any other device connected to the teensy) and programm it remotely.