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