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