On Sat, 10 Nov 2007, Juan RP wrote:
> Clearly SMBIOS is the way to go. I think you can use smbios_find_table()
> and smbios_get_string() for this (I haven't used SMBIOS yet), they are
> defined in x86/include/smbiosvar.h.

The pm branch provides a facility for devices to access this information 
already; ie:

 	const char *platform = pnp_get_platform("system-product-name");

will return the value you're looking for.

Cheers,
Jared