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