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