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