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