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