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