ref: 25faf85da63869e51240a66cbb94aecce183ce5c dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot