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