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