[SeaBIOS] [PATCH] enable_vga_console(): print machine UUID under seabios version message

[Laszlo Ersek]

On 12/11/12 11:10, Gerd Hoffmann wrote:
> On 12/11/12 05:54, Kevin O'Connor wrote:
>> On Mon, Dec 10, 2012 at 06:11:08PM +0100, Laszlo Ersek wrote:
>>> There are users who would like to see the UUID at startup, and it probably
>>> won't bother others.
>>
>> The patch isn't going to work for non-qemu users (eg, coreboot).
> 
> Also even with qemu the uuid might not be set (just start qemu without
> -uuid $something), that case needs to be handled too.  Easiest is
> probably to just not print it when not preset.

How can I distinguish "unset" from "set to all zeros"?

Thanks!
Laszlo