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