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