On 08/10/2010 08:57 AM, David Brownell wrote:
I's think  serial numbers would suffice, and
be much more usable/stable.
I think a USB device is not required to have a serial number, so in that case, you are suck with using some kind of index, bus/device ID or similar.

cu
Michael

_______________________________________________
Openocd-development mailing list
[email protected]
https://lists.berlios.de/mailman/listinfo/openocd-development

Reply via email to