ref: 9ce72bb7d6906e7550fb2c611a1cb99ab3be75c7 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot