ref: 30596adb31eb04cb31ae4e011c229f85a6ec4db8 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot