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