Bug#617453: restarting doesn't always work on Dell Latitude E6400

[Vincent Lefevre <vincent@vinc17.net>]

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 <vincent@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)