Hi, On 2012-07-06 08:08:00 +0200, Rik Theys wrote: [...] > >> reboot=pci > > > > I don't have a /etc/default/grub on this machine. It seems to be > > available with grub-pc, but here I have grub-legacy. > > > > Perhaps I should use > > > > defoptions=quiet reboot=pci > > You could add it to the kopt= line in /boot/grub/menu.lst and then run > 'update-grub'.
Actually I added it to the defoptions line: # defoptions=quiet reboot=pci and after running 'update-grub', I have: title Debian GNU/Linux, kernel 3.4-trunk-amd64 root (hd0,0) kernel /vmlinuz-3.4-trunk-amd64 root=/dev/mapper/xvii-root ro quiet reboot=pci initrd /initrd.img-3.4-trunk-amd64 title Debian GNU/Linux, kernel 3.4-trunk-amd64 (single-user mode) root (hd0,0) kernel /vmlinuz-3.4-trunk-amd64 root=/dev/mapper/xvii-root ro single initrd /initrd.img-3.4-trunk-amd64 [...] The kopt line is: # kopt=root=/dev/mapper/xvii-root ro so that if I added the option to kopt, I suppose that it would be added to the single-user mode entries too (as documented). However I never have to use single-user mode. :) 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. Anyway, thanks for this solution. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120706080446.ga5...@xvii.vinc17.org