ESP-IDF
El framework de desarrollo oficial de Espressif para el ESP32: lo que corre por debajo incluso cuando uno cree estar escribiendo código Arduino.
El IoT Development Framework llegó con el ESP32 en 2016 y reúne controladores, pilas Wi-Fi y Bluetooth, TCP/IP, actualizaciones OTA y cifrado de flash. Su base es un FreeRTOS modificado capaz de planificar tareas en ambos núcleos. La compilación pasó a CMake y a la herramienta idf.py, y la configuración se hace en menuconfig, el mismo Kconfig que usa el núcleo Linux.
El núcleo Arduino para ESP32 está construido sobre ESP-IDF, igual que el port de MicroPython. Quien se queda corto con setup() y loop() acaba aquí tarde o temprano, y descubre que el Wi-Fi llevaba todo el tiempo corriendo en su propia tarea.