I believe my FX3 is renumerating properly after loading firmware built by the provided example: basic_examples/cyfxbulklpauto
After loading the firmware, the FX3 DVK renumerates with product id: 0x00f0.
Now that I'm looking through the cyfxbulklpauto code, however, I can't see where this renumerated product-id is set. Where is this set, and how?
Nevermind - I found them in: