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