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