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