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