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.
Copyright¶
Copyright (C) Microsoft Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent