ESP-IDF freeRTOS version

[PaulVdBergh]

Hi All,

As I'm new to the ESP32 platform, I'm trying to find info about the underlying technology used by ESP-IDF.
AFAIK, ESP-IDF is based upon FreeRTOS. I'm looking at https://www.freertos.org/Documentation/RTOS_book.html. On the first page of "Mastering the FreeRTOS™ Real Time Kernel" there are references to different versions of the os. On which version of FreeRTOS is ESP-IDF based?

Thanks,
Paul

[ESP_Sprite]

The FreeRTOS version we started out on is 8.2, but we have backported a fair few features from 9.0 into our tree. For more info, see the docs: http://esp-idf.readthedocs.io/en/latest ... s-smp.html