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