Ceci est une ancienne révision du document !
Teensy 4.0
Installation avec arduino 1.8.5
télécharger Teensyduino depuis https://www.pjrc.com/teensy/td_download.html et lancer l'installeur
chmod +x TeensyduinoInstall.linux64 ./TeensyduinoInstall.linux64