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