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