Ceci est une ancienne révision du document !
Depuis la version 1.6.4 il est possible d'installer des plateformes tierses dans l’environnement de développement Arduino via l'option Boards Manager. Pour que la plateforme soit proposée à l'installation, il faut dans un premier temps modifier la configuration.
Dans la zone de texte ajouter l'URL
http://arduino.esp8266.com/stable/package_esp8266com_index.json
A présent les outils de développement devraient être disponibles au téléchargement dans le gestionnaire de cartes: