I am trying to change the USB name, pid, vid on a project using the Sparkfun Pro Micro board. All,of the solutions I found do not achieve that goal.
For the Arduino IDE the USB parameters are specified in boards.txt. Some of the values are duplicated in PlatformIO json definition for the board. However, changing it there makes no difference.
When I dig into my locally installed Arduino framework I see a boards.txt that contains the sparkfun_promicro16. How is that boards.txt created? When I look at the official Arduino source GitHub repo is see no sparkfun_promicro16. Sparkfun has a repo with those details. So this leads to my question, where is the source repo for the Arduino core files including boards.txt that is locally installed on my PC?