ref: 4961fb9853f16dcb6b99c3b2a7faa7648fcb0c86 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot