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

Kevin O'Connor kevin at koconnor.net
Wed Dec 12 01:34:49 CET 2012

On Tue, Dec 11, 2012 at 05:16:37PM +0100, Laszlo Ersek wrote:
> "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().

output.c is compiled into all three modes (16bit, 32bit flat, and
32bit segmented) - see the SRCBOTH define in the Makefile.  This is
done so that all three modes can access the dprintf code.

In any case, it's fine to call both snprintf and printf in


More information about the SeaBIOS mailing list