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