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