ESP32 RTOS vs ESP32 IDF

[jobidon]

Based on preliminary information, it looks like Espressif will focus its development on the (IDF) more than the RTOS-SDK. According to the company:

FYI, esp-idf stands for Espressif IoT Development Framework. We've decided not to use the SDK term anymore because esp-idf is different enough from the old esp32-rtos-sdk to warrant a new name.

So this begs the question: Will SmingRTOS continue to be based on RTOS-SDK or do we need to plan for a transition to the IDF? Perhaps once it has matured a bit?
Or should we expect a SmingIDF project instead?

[avr39-ripe]

IDF is just name for FreeRTOS based framework. Just read *redmes on projects github :)