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