Board Manager Files Storage for Arduino Boards Manager JSON and package files for the STM32 chip used inside Tinkerstruct kits. Troubleshooting If you have any issue to download/use a package, you can file an issue on Github.