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