ref: 1ceff1bdce54bd82c79dd4b4d03f786d2bd78159 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot