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