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