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