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