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