Teensy 4.0

https://www.pjrc.com/store/teensy40.html

télécharger Teensyduino depuis https://www.pjrc.com/teensy/td_download.html et lancer l'installeur

chmod +x TeensyduinoInstall.linux64
./TeensyduinoInstall.linux64