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