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