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