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