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