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