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