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