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