Well I only saw one thing that looked like it should be updated. Give it a try:
- Download attached file.
- Rename the attached file .
- Overwrite the teensy boards.txt with the attached file.
- Restart the Arduino IDE
- Try to upload again
Let me know how it goes.
boards.txt (8.26 KB)