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