I've been helping document this ESP8266-HomeKit project. It is based on the ESP8266_RTOS_SDK. One thing I intend to get working is a simple RGB light implementation, possible using WS2812B LEDs. Can someone point me to a working WS2812B (NeoPixel) example project that works with the RTOS SDK? I found this in esp-open-rtos, but the project structure/Makefile seems somewhat different in that case.