Open source FreeRTOS-based ESP8266 software framework - View it on GitHub