On Wednesday, October 31, 2012 09:36:36 PM Luck, Tony wrote: > > The BIOSes of currently available ia64 systems don't contain ACPI nodes whose > > IDs will match the IDs of the new devices (ie. the ones that are going to be > > added to acpi_platform_device_ids[]), so for ia64 it should be sufficient to > > test that code as is (ie. without any new devices in the system). > > Ok - built cleanly on ia64. Boots too. Just one new console message: > > ACPI: bus type platform registered > > that seems pretty harmless. > > Acked-by: Tony Luck <tony.luck@xxxxxxxxx> Thanks a lot! -- I speak only for myself. Rafael J. Wysocki, Intel Open Source Technology Center. -- 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