[SeaBIOS] [PATCH v2 0/3] display SMBIOS UUID in boot splash

[Laszlo Ersek]

"bootsplash.c" and "smbios.c" are both SRC32FLAT, thus I figure I can
call across. "output.c" is SRC32SEG, but(?) "bootsplash.c" already calls
printf().

v1->v2:
- Retrieve the UUID from SMBIOS table type 1, wherever it has been
  installed from.
- Don't print an all-zeros (= unset) UUID.

Laszlo Ersek (3):
  add smbios_locate_uuid() helper function
  add format_uuid() utility function
  enable_vga_console(): print machine UUID under seabios version
    message

 src/smbios.h     |    1 +
 src/util.h       |    1 +
 src/bootsplash.c |   21 ++++++++++++++++++++-
 src/output.c     |   16 ++++++++++++++++
 src/smbios.c     |   47 +++++++++++++++++++++++++++++++++++++++++++++++
 5 files changed, 85 insertions(+), 1 deletions(-)