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