If you include a library file through the menu, and it’s not part of the core Arduino libraries, the IDE locates its source code and compiles and links it in to the core library for you.

Open up the ESP32-specific directory that you cloned from GitHub. The usual *.cpp files provide the standard Arduino core functionality.

Description: Order your pcb design at JLCPCB: $2 for 10pcs PCBs (24 hours turnaround time). up to $20 shipping discount on ...