ESP-IDF
Официальный фреймворк разработки Espressif для ESP32 — то, что работает под капотом, даже когда вам кажется, что вы пишете на Arduino.
IoT Development Framework появился вместе с ESP32 в 2016 году и включает драйверы, стеки Wi-Fi и Bluetooth, TCP/IP, OTA-обновления и шифрование флеш-памяти. В основе — доработанная FreeRTOS, умеющая распределять задачи между двумя ядрами. Сборка перешла на CMake и утилиту idf.py, а настройка делается в menuconfig — том же Kconfig, что и в ядре Linux.
Ядро Arduino для ESP32 построено поверх ESP-IDF, как и порт MicroPython. Кто перерос setup() и loop(), рано или поздно оказывается здесь и узнаёт, что Wi-Fi всё это время жил в собственной задаче.