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