Менеджер плат — это инструмент Arduino IDE для добавления управляющих платформ с разными архитектурами.
https://github.com/stm32duino/BoardManagerFiles/raw/master/package_stmicroelectronics_index.json
https://raw.githubusercontent.com/amperka/iskra-boards/master/package_amperka_index.json
http://arduino.esp8266.com/stable/package_esp8266com_index.json
https://dl.espressif.com/dl/package_esp32_index.json