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