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