Using the information in https://docs.espressif.com/projects/arduino-esp32/en/latest/esp-idf_component.html we have integrated Arduino as a component in IDF, and we ...