https://bugzilla.kernel.org/show_bug.cgi?id=57231
--- Comment #11 from Matthieu Dubuget <matthieu.dubu...@laposte.net> --- Thanks for your suggestion, Aaron. I added acpi=rsdt to the kernel cmdline. > Dec 11 18:08:03 keynuxmatt kernel: [ 0.000000] Command line: > BOOT_IMAGE=/vmlinuz-3.2.0-4-amd64 root=/dev/mapper/keynuxmatt-root ro > acpi=rsdt quiet This is not a pure kernel, but the current one provided by debian. I noticed no amelioration when shutting down the system. Should I check anything special, except from a more recent kernel? Salutations -- You are receiving this mail because: You are watching the assignee of the bug. ------------------------------------------------------------------------------ Rapidly troubleshoot problems before they affect your business. Most IT organizations don't have a clear picture of how application performance affects their revenue. With AppDynamics, you get 100% visibility into your Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk _______________________________________________ acpi-bugzilla mailing list acpi-bugzilla@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/acpi-bugzilla
