The Espressif ESP32 toolchain to support Arduino and FreeRTOS projects.

WWW: https://dl.espressif.com/doc/esp-idf/latest/get-started/index.html#setup-toolchain
