On Thursday 05 January 2006 10:54, Bjorn Helgaas wrote: > On Thursday 05 January 2006 10:37, Matt Domsch wrote: > > This system (Dell PowerEdge 7250, very very similar to an Intel > > 4-way Itanium2 server) doesn't have an SPMI table, but it does have > > the IPMI information in the SMBIOS table. > > But the IPMI device *should* be described in the ACPI namespace, so > using acpi_bus_register_driver() should be sufficient. You mentioned on IRC that /sys/firmware/acpi/namespace didn't contain anything that looked like an IPMI device. Try dumping the actual DSDT and looking there -- I'm not sure everything makes it into /sys/firmware/acpi/... Use the latest "pmtools" from here: http://ftp.kernel.org/pub/linux/kernel/people/lenb/acpi/utils and "iasl" to disassemble it. I did this on an Intel Tiger, and didn't see any "IPI" devices in the namespace either. I think it's a firmware bug if the hardware is there but not described in the namespace. So maybe you'd have to grub through SMBIOS to workaround the firmware defect. - To unsubscribe from this list: send the line "unsubscribe linux-ia64" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Fri Jan 06 11:04:57 2006
This archive was generated by hypermail 2.1.8 : 2006-01-06 11:05:13 EST