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