Alcuni downloads non sono presenti nella guida
La guida contiene la maggior parte dei download, ma non la toolchain di ESP32. Le soluzioni son due:
- Si usano gli Arduino per fare il corso Arduino (rivoluzionario, I know)
- Si fa scaricare a casa
Stessa cosa vale se si scaricano librerie grosse (> 50MB).