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