Keep the Arduino Board Manager list up-to-date from makeboards.py
Attach a file by drag & drop or click to upload
