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