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