ref: 3681c836cae7455826e28c62ccc48ba5c3a44769 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot