Étape 8: Dépannage Teensyduino
Voici le lien complet
Le bref résumé est :
1) sur Windows, assurez-vous que les pilotes teensy sont installés
2) serial port ne fonctionnera pas à moins que le code a été téléchargé
3) si le port série est toujours grisée, parfois, fermeture IDE Arduino, débranchez teensy et rebranchant et puis aidera à démarrer IDE Arduino.