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