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