ref: 3e7d71878bbb318a3774a2b5a75965e41e6a4a43 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot