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