On Sun, 29 Jun 2008, Matthew Garrett wrote: > > Is the DMI ID *guaranteed* to be changed with an update to the DSDT? > > The BIOS version is, yes. Good to know, thanks. > > Anyway, you cannot imply from a given DMI ID a broken DSDT is present, so > > you will have to repeat the experience of adding another DMI ID whenever a > > user hits this broken DSDT with another piece of hardware. As long as you > > are able to pull this piece of information from that user, that is... > > These are the only two pieces of hardware ever reported to have this > problem. Nobody appears to have demonstrated it on any other HP systems, > and any non-HP systems would have a different identifier string. With > the SB400 being superceded, I don't expect us to see any more machines > with the same ID. Fair enough. As I wrote, I'll send an update shortly. Maciej -- 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