[SeaBIOS] SMBIOS strings

Kevin O'Connor kevin at koconnor.net
Wed Jun 2 01:34:51 CEST 2010


On Tue, Jun 01, 2010 at 10:26:12PM +0200, Sebastian Herbszt wrote:
> Jes Sorensen wrote:
> >Handle 0x0401, DMI type 4, 32 bytes
> >Processor Information
> >-       Socket Designation: CPU 1
> >+       Socket Designation: CPU01
> 
> smbios.c got
> snprintf((char*)start, 6, "CPU%2x", cpu_number);
> 
> It should print "CPU 1" instead of "CPU01" because the
> padding should be done with spaces not zeros. Maybe
> bvprintf() doesn't handle it correctly?

Space padding hasn't been implemented - nothing needed it.

The bvprintf code is called from 16bit code which is very stack
sensitive - if space padding is implemented it will have to be tested
carefully.

-Kevin



More information about the SeaBIOS mailing list