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