ref: 4096a6f16dfff161dc91222308d1711a3d1ad1ba dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot