ref: 3dc150e478469c5da627d886e95a7f57d461d827 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot