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