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