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