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