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