Official development toolkit for the ESP32, based on the FreeRTOS real-time operating system. First thing to install when programming the ESP32.