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