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