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