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