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