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