ref: 7d7650dffc20c3853eb1acd551c9a02f73751ae3 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot