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