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