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