[ipxe-devel] - uuid mangle does not show correctly for my hp elitebook 8440p

[Robin Smidsrød]

On 25.07.2015 16:35, Gene Cumm wrote:
> On Sat, Jul 25, 2015 at 6:07 AM, Robin Smidsrød <robin at smidsrod.no> wrote:
>> On 22.07.2015 11:45, Torgeir.Wulfsberg at kongsberg.com wrote:
>>> I have an HP Elitebook 8440p, where iPXE does not display the correct UUID for this machine. Searching through the ipxe git repo, I've located this commit.
>>> https://git.ipxe.org/ipxe.git/commitdiff/9e896d0eeaa07d47b2bed4c92072fd638ce3eb55
>>>
>>> Anything before this commit, and iPXE does show the correct UUID for my 8440p.
>>>
>>> Correct UUID from BIOS:
>>> 00112233-4455-6677-8899-aabbccddeeff
>>>
>>
>> Looking at that UUID, it seems your OEM didn't bother to actually
>> generate a unique one. That one seems made up. Maybe they actually
>> forgot to properly configure that machine you've got.
> 
> Alternatively, you forgot to mention that it's the _format_ of the
> UUID, not the literal UUID.  This distinction is crucial.
> 

Nice catch. I totally forgot to think that it was an example UUID
instead of an actual one. My fault.

-- Robin