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