Hi everyone,

I'm developing a custom Arduino ESP32 core package. I have some Arduino robots based around the ESP32-WROOM-32D chip. It currently uses the esp32 dev board. Currently, I am downloading the espressif esp32 from the Arduino board manager. However, this file is very large and takes a ...