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