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