ref: 5d8273916e7687376b8141f6eb6066e40a08c3ad dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot