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