On Mon, Jun 30, 2008 at 04:29:33PM +0100, Maciej W. Rozycki wrote: > Now I did a search of the Internet and have become puzzled. Apparently > there *are* other devices using this DSDT. See for example a thread at: > "http://bbs.archlinux.org/viewtopic.php?pid=359559" where an owner of an > HP Compaq 6715s has some other problems with a DSDT which coincidentally > is the very same HP/SB400/10000 (though built with a different ASL > compiler, hmm...). Hm. It'd be interesting to know whether the bizarre debug code is in there. What's even more interesting is that the 6715s is an SB600, not an SB400... > Matthew, where did you get these DMI IDs from? -- I cannot see them being > reported in any bootstrap log. dmidecode or /sys/class/dmi. They're not reported on boot. -- Matthew Garrett | mjg59@xxxxxxxxxxxxx -- 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