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