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