On Fri, Oct 25, 2013 at 1:48 PM, H. Peter Anvin <hpa@xxxxxxxxx> wrote: > > The Dell problem I believe is understood... they are invoking the KBC as > their ACPI reboot port, and it is believed that that triggers an SMI > which invokes the BIOS, and the BIOS is broken if you behave like a > non-Windows system. Well, that's presumably true of *all* the machines. Because I bet windows boots on it. The details may matter. The solution is to act more like Windows. There was some talk about one likely fundamental difference being in how we enable VT-d. Maybe we should just change that? Seriously, if the "fix" is potentially something as simple as disabling VT-d before reboots, let's just do it. Not add these quirks. We have people to test a patch, but what _is_ that patch? Linus -- 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