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