ref: 9c0fddccda8707a686b1e6180cde9a6a5fe2bbcd dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot