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