ref: 8b67c45cf2abb6dbaed95ff8ee75ca871282aa39 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot