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