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