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