Hi, On Fri, Jul 6, 2012 at 12:19 AM, Vincent Lefevre <vinc...@vinc17.net> wrote: > On 2012-07-04 20:55:56 +0200, Rik Theys wrote: >> Vincent Lefevre wrote: >> > When I want to restart (reboot) my Dell Latitude E6400 laptop, the >> > machine sometimes remain on without restarting. The last message >> > on the console is: "Restarting system." >> >> Can you try adding the following parameter to your kernel boot line? >> Add it to the GRUB_CMDLINE_LINUX parameter in /etc/default/grub and >> run update-grub. >> >> 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'. Please confirm if adding this boot parameter works for you. Regards, Rik -- 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/capwv0jk-vqoqobkub_c9uqzqbu2_kbhbecgzefjxzbosynx...@mail.gmail.com