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