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