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