This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Setting USB serial number on TMDX570LC43HDK

I'd like to hook up a couple of the dev kits on Linux, but I noticed that the boards do not have distinct serial numbers.

Is there any way to flash a unique serial number on them? If I have to use Windows tools, that's fine.