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