Ouvrez le panneau des préférences et cliquez sur le bouton situé à droite de l’option URL de gestionnaire de cartes supplémentaires.
Dans la boîte de dialogue qui s’ouvre, ajoutez le lien suivant puis cliquez sur OK
https://dl.espressif.com/dl/package_esp32_index.json
Attention, une ligne par URL.
Ouvrez le gestionnaire de carte depuis le menu Outils puis Type de carte
Cherchez le SDK avec le mot clé ESP32 puis cliquez sur installer.
Maintenant que les cartes ESP32 sont gérées depuis le gestionnaire de carte, les librairies pourront être mises à jour dès qu’une nouvelle version est disponible.
Vérifier que les cartes ESP32 sont correctement installées
Une fois l’installation terminée, il n’est pas nécessaire de redémarrer l’IDE Arduino. Ouvrez le menu Outils puis le sous-menu Type de carte. Faites défiler la liste, vous devriez pouvoir sélectionner une carte de développement ESP32 dans la liste si tout s’est correctement déroulé.
Source : https://projetsdiy.fr/programmer-cartes-esp32-ide-arduino-macos-windows-arm-raspberry/