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