Latest ESP8266 SDK based on FreeRTOS, esp-idf style. - View it on GitHub