Note: These instructions were written in mid 2017.
Lots of options exist for programming these. See https://en.wikipedia.org/wiki/ESP8266
- Add the following to Board Manager URLs, in Arduino IDE preferences: http://arduino.esp8266.com/stable/package_esp8266com_index.json
- In the board manager, search for esp 8266 and install.
- Pick examples, select the right board, port and frequency and you should be good.
- Get the correct binary from http://micropython.org/download
- sudo pip install esptool
- esptool.py --port /dev/ttyUSB0 erase_flash
- esptool.py --port /dev/ttyUSB0 --baud 460800 write_flash --flash_size=detect 0 esp8266-20170612-v1.9.1.bin