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