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