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