Al instalar Ubuntu u otra distro, comprobar que está desinstalado el programa brltty, que impide el uso de los puertos serie por el IDE:
sudo apt remove brltty
Hay que dar permisos para el uso de los puertos al usuario:
sudo usermod -a -G dialout <username>
En Arduino IDE, añadir al gestor de URL adicionales la dirección donde descargar el manejador de las placas ESP8266:
http://arduino.esp8266.com/stable/package_esp8266com_index.json