IMPORTANT:
The system clock must be set correctly to generate a valid UUID.
●
To set the system clock in Windows, right-click the clock on the bottom right corner of the screen
and select Adjust date/time.
●
To set the system clock using an EFI-bootable shell:
Create a bootable EFI Shell DOK:
◦
On a FAT32-formatted DOK and create a directory called EFI\boot\
◦
Copy shellfull.efi to it. (See
http://tianocore.sourceforge.net/wiki/Efi-shell
)
◦
Rename shellfull.efi to bootx64.efi.
Boot to EFI and select the shell.
Use the date and time commands to set the system clock. There is help at the command line for
exact syntax.
4.
Start the HP Setup Utility, and then select Main > Set Machine Unique Data.
5.
Select each of the DMI fields and enter the appropriate information.
●
Feature Byte (if populated, overwrite with Feature Byte from Label)
●
Build ID
●
Serial number
●
Product family
●
System board CT number
●
Product name
72
Chapter 8 DMI programming procedures
