ref: 18d79aaa6991794038c40cb8486aa31c9fdbceea dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot