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