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