ref: 71397d51d063816e8d2047b5039765e69b21a6ac dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot