DfciDeviceIdSupportLib provides DFCI with three platform strings:
- Manufacturer name
- Product name
- Serial number
Restrictions on Device Identifier strings¶
- Null terminated CHAR8 strings
- Maximum of 64 CHAR8 values plus a NULL terminator, for a maximum size of 65 bytes.
- The following five characters are not allowed & ' " < >
- UTF-8, as per Wikipedia UTF-8, are allowed within the 64 CHAR limit and the character set limitations.
|DfciIdSupportV1GetSerialNumber||Return the system serial number as a UINTN if possible. Otherwise, return 0.|
|DfciIdSupportGetManufacturer||Returns an allocated buffer with the system manufacturer name.|
|DfciIdSupportGetProductName||Return an allocated buffer with the system product name.|
|DfciIdSupportGetSerialNumber||Return an allocated buffer with the system serial number.|
These fields and their values are critical to the security of DFCI. These values should not be user configurable and should be protected from tampering.