Im Video wird dargestellt, wie die Arduino IDE installiert und anschließend so vorbereitet wird, dass man hiermit Programme für den ESP32 erstellen und dann hochladen kann.
Der im Video genannte Link lautet:
https://dl.espressif.com/dl/package_esp32_index.json