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