ref: 075d74a7c9f05ca7d9432f279c1eb4d79d94cd3e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot