GitHub repository: topst-development/VCP-Arduino_Board_Manager
Description: Arduino board manager settings for TOPST VCP