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