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