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