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