Dall'IDE di Arduino:
- Andare su File->Impostazioni->URL Aggiuntive per il gestore schede ed inserire il seguente link:
https://politocean.github.io/politocean_boards/package_politocean_index.json - Andare su Strumenti->Scheda->Gestore Schede e installare l'ultima versione di PoliTOcean Boards!
- Selezionare il micro che si vuole utilizzare da Strumenti->Scheda->PoliTOcean Boards