Search:

As for boards.txt - Not sure where @Paul keeps these as I have not found them on github.... My assumption is if you come up with a version of this that he thinks is appropriate, you could send it to...

The only way I know how to do something like this is to edit the Teensyduino files... Note: I personally have never done a complete setup to add a USB type here. But the steps I would take to do...