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