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