DfciDeviceIdSupportLib

DfciDeviceIdSupportLib provides DFCI with three platform strings:

  1. Manufacturer name
  2. Product name
  3. Serial number

Restrictions on Device Identifier strings

  1. Null terminated CHAR8 strings
  2. Maximum of 64 CHAR8 values plus a NULL terminator, for a maximum size of 65 bytes.
  3. The following five characters are not allowed & ' " < >
  4. UTF-8, as per Wikipedia UTF-8, are allowed within the 64 CHAR limit and the character set limitations.

Interfaces

Interface Function
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.

Additional Details

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.