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