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