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