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