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