[ros-diffs] [sginsberg] 69205: [KDBG]: Add new command "reboot" that does exactly what it says.