DfciDeviceIdSupportLib¶
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.
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.