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