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? Sebastian