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