Espressif's SDK for the ESP8266 wifi chip, with some fixes applied.