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