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