Subject: Re: apic timing/clock problem in 4.0_RC3, MacBook 2x2.0
To: Juan RP <>
From: Jared D. McNeill <>
List: port-i386
Date: 11/10/2007 16:37:25
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.