Hi,
Does the HiKey board have a unique ID in the SoC that can be read out and that allows identifying different boards in software (e.g. in UBoot, Linux...)? Anything that is quasi-fixed in the hardware would be nice, e.g. a serial number in ROM or fuses that can be read directly. A unique root key in a peripheral that can be used to generate something would also work. Where does the MAC of board's ethernet port comes from actually?
Axel