ref: 9632f27dcf5b113141a43ac2045c6fe7c0f1ba4c dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot