This repository generates and publishes a JSON file compliant with the Arduino IDE Board Manager package index specification making it easy to add Macchina boards to the Arduino IDE.
Add the following URL to under "Additional Board Manager URLs:" in your Arduino IDE preferences.
https://macchina.cc/package_macchina_index.json
This index includes the board releases from the following repositories: