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