GitHub repository: jschj/ESP8266_RTOS_SDK
Description: Latest ESP8266 SDK based on FreeRTOS, esp-idf style.