Hi Vincent, Vincent Lefevre wrote:
> dmesg confirms that reboot=pci is taken into account: > > [ 0.000000] Command line: root=/dev/mapper/xvii-root ro quiet reboot=pci > > I just did a single reboot with this, and it was fine. The future > will tell whether this really solves the problem. Ok, awesome. Thanks to both of you. The DMI list in arch/x86/kernel/reboot.c (including Latitude E6420, etc but not E6400) is really disheartening[1]. Matthew Garrett mentioned it recently at [2]. Does disabling VT-d in the BIOS help? (To avoid confusion for people listening in: this is meant as a diagnostic question and not intended as a fix.) Thanks, Jonathan [1] http://thread.gmane.org/gmane.linux.kernel/1215897/focus=1239861 [2] http://mjg59.dreamwidth.org/14475.html -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
