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