On Wednesday 06 February 2008 00:35:54 Bjorn Helgaas wrote: > > Ok. The only other vendors I really have in mind are HP and Fujitsu, > > since both those vendors use WMI on their laptops, so they would be my > > most likely candidates to have WMI on an IA64 box (if anyone actually > > does use WMI on IA64). > > How could I tell whether our HP systems use WMI? Do you have any PNP0C14 or *pnp0c14 _HID objects defined in the DSDTs for your systems? If not, then your systems don't use WMI. -Carlos -- E-Mail: carlos@xxxxxxxxxxxxxxxxxxx Web: strangeworlds.co.uk GPG Key ID: 0x23EE722D - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
