Workshop será realizado no Arduino Day Janaúba 2018.
Vá até https://www.arduino.cc/en/Main/Software escolha seu Sistema Operacional e faça download.
Faça a instalação como um softwares qualquer next next next install kkk
Ps: No Linux pode ir na loja de aplicativo da sua distro e clicar em install.
http://arduino.esp8266.com/stable/package_esp8266com_index.json
Clique em OK para retornar à tela principal da IDE