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