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