ref: 2c0ccff2864549e77e1fa3e27802eee429ff3886 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot