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