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