@Rebecca: yes, but the man page is referring to bugs in the reboot command. That commands calls the reboot system call and that is where the problem lies (in the kernel).
-- You received this bug notification because you are a member of Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1244312 Title: [regression 13.10] Can't reboot (but can shut down) Status in “linux” package in Ubuntu: Confirmed Status in “upstart” package in Ubuntu: New Bug description: Since upgrading to 13.10, attempting to restart (with either "shutdown -r now" or the system menu item) hangs with a "reboot: restarting system" message instead of actually rebooting, but shutting down still turns the system off. WORKAROUND: adding reboot=p to the kernel command line (https://wiki.ubuntu.com/Kernel/KernelBootParameters) avoids this bug. ProblemType: Bug DistroRelease: Ubuntu 13.10 Package: upstart 1.10-0ubuntu7 ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3 Uname: Linux 3.11.0-12-generic x86_64 NonfreeKernelModules: nvidia ApportVersion: 2.12.5-0ubuntu2 Architecture: amd64 Date: Thu Oct 24 17:25:08 2013 EcryptfsInUse: Yes InstallationDate: Installed on 2012-01-25 (637 days ago) InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012) MarkForUpload: True ProcKernelCmdline: BOOT_IMAGE=/boot/vmlinuz-3.11.0-12-generic root=UUID=b491a34a-6045-4ad4-a2b8-b9ca018c5d41 ro quiet splash SourcePackage: upstart UpgradeStatus: Upgraded to saucy on 2013-10-21 (2 days ago) UpstartBugCategory: System UpstartRunningSessionVersion: init (upstart 1.10) UpstartRunningSystemVersion: init (upstart 1.10) modified.conffile..etc.at.deny: [inaccessible: [Errno 13] Permission denied: '/etc/at.deny'] modified.conffile..etc.init.d.networking: [modified] mtime.conffile..etc.init.d.networking: 2013-08-26T23:19:11 --- ApportVersion: 2.12.5-0ubuntu2.1 Architecture: amd64 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/controlC1: palmer 2534 F.... pulseaudio /dev/snd/controlC0: palmer 2534 F.... pulseaudio /dev/snd/pcmC0D0p: palmer 2534 F...m pulseaudio DistroRelease: Ubuntu 13.10 EcryptfsInUse: Yes InstallationDate: Installed on 2012-01-25 (638 days ago) InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012) MachineType: Dell Inc. Latitude E6520 MarkForUpload: True NonfreeKernelModules: nvidia Package: linux (not installed) ProcFB: ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.11.0-12-generic root=UUID=b491a34a-6045-4ad4-a2b8-b9ca018c5d41 ro quiet splash ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3 RelatedPackageVersions: linux-restricted-modules-3.11.0-12-generic N/A linux-backports-modules-3.11.0-12-generic N/A linux-firmware 1.116 Tags: saucy Uname: Linux 3.11.0-12-generic x86_64 UpgradeStatus: Upgraded to saucy on 2013-10-21 (3 days ago) UserGroups: adm admin cdrom dialout lpadmin plugdev sambashare dmi.bios.date: 10/18/2011 dmi.bios.vendor: Dell Inc. dmi.bios.version: A08 dmi.board.name: 0J4TFW dmi.board.vendor: Dell Inc. dmi.board.version: A01 dmi.chassis.type: 9 dmi.chassis.vendor: Dell Inc. dmi.modalias: dmi:bvnDellInc.:bvrA08:bd10/18/2011:svnDellInc.:pnLatitudeE6520:pvr01:rvnDellInc.:rn0J4TFW:rvrA01:cvnDellInc.:ct9:cvr: dmi.product.name: Latitude E6520 dmi.product.version: 01 dmi.sys.vendor: Dell Inc. --- ApportVersion: 2.12.5-0ubuntu2.1 Architecture: amd64 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/controlC1: palmer 2534 F.... pulseaudio /dev/snd/controlC0: palmer 2534 F.... pulseaudio DistroRelease: Ubuntu 13.10 EcryptfsInUse: Yes InstallationDate: Installed on 2012-01-25 (638 days ago) InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012) MachineType: Dell Inc. Latitude E6520 MarkForUpload: True NonfreeKernelModules: nvidia Package: linux (not installed) ProcFB: ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.11.0-12-generic root=UUID=b491a34a-6045-4ad4-a2b8-b9ca018c5d41 ro quiet splash ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3 RelatedPackageVersions: linux-restricted-modules-3.11.0-12-generic N/A linux-backports-modules-3.11.0-12-generic N/A linux-firmware 1.116 Tags: saucy Uname: Linux 3.11.0-12-generic x86_64 UpgradeStatus: Upgraded to saucy on 2013-10-21 (3 days ago) UserGroups: adm admin cdrom dialout lpadmin plugdev sambashare dmi.bios.date: 10/18/2011 dmi.bios.vendor: Dell Inc. dmi.bios.version: A08 dmi.board.name: 0J4TFW dmi.board.vendor: Dell Inc. dmi.board.version: A01 dmi.chassis.type: 9 dmi.chassis.vendor: Dell Inc. dmi.modalias: dmi:bvnDellInc.:bvrA08:bd10/18/2011:svnDellInc.:pnLatitudeE6520:pvr01:rvnDellInc.:rn0J4TFW:rvrA01:cvnDellInc.:ct9:cvr: dmi.product.name: Latitude E6520 dmi.product.version: 01 dmi.sys.vendor: Dell Inc. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1244312/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : kernel-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp