For those of you who dont know: esp-idf is the official development framework for the ESP32 microntrollers. The nice thing is, that it comes with a port of FreeRTOS, lots of advanced Drivers and Tools to build, flash and debug your microcontrollers, which makes developing with for the ESP32 an absolute charm.