Hello. I hope someone can help me with a problem I have. I have a project in which I need the controller to send some keystrokes during a DELL laptop BIOS initialization. I first tried using the Arduino Leonardo but as it turns out, that didn't work because the Arduino doesn't support the USB boot protocol. That's how I heard about Teensy, advertised as a similarly compact controller with the boot protocol capabilities. So I ordered my Teensy boards (version 3.1) and when I tried to compile the example source code from the website, it turns out that it was written for an older version of the Teensy and doesn't work on the 3.1. Supposedly we have to use the arduino application with a suitable Teensy plugin. So I did that and wrote a simple program using the USB keyboard arduino library. It didn't work, I suppose because then you're using the arduino libraries which don't have the boot protocol support. So this is getting frustrating. Any advice? Pleeease?