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