We want to get tx1 module serial number used for board unique identification.
Now we use cat /proc/cmdline got a 20-digit serial number which is not the 13-digit number printed on the sticker(S/N:XXXXXXXXXXXXX).It seems the 20-digit serial number is a combination of the 13-digit number on sticker and 7 -digit number of CPU UID
We want to know whether the 13-digit number is unique around the world? Or we should use the 20-digit number as a unique number?
You could also find the Jetson Platform Fuse Burning and Secure Boot Documentation and Tools as reference from https://developer.nvidia.com/embedded/downloads