On Thursday 20 December 2007 00:20:21 Bjorn Helgaas wrote: > I suspect the manufacturers would say "Oh, the sensors? The BIOS > isn't broken, you're just supposed to use WMI or some (undocumented) > ACPI device to get at those." It's quite possible - can we have DSDTs for the boards in question so we can quickly check if this is a possibility? (Basically, to see if they have PNP0C14 devices - if they don't, then I'm afraid it's nothing to do with WMI). -Carlos -- E-Mail: carlos at strangeworlds.co.uk Web: strangeworlds.co.uk GPG Key ID: 0x23EE722D
