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