Integral points in orbits in characteristic $p$

We prove a characteristic $p$ version of a theorem of Silverman on integral points in orbits over number fields and establish a primitive prime divisor theorem for polynomials in this setting. We provide some applications of these results, including a finite index theorem for arboreal representations coming from quadratic polynomials over function fields of odd characteristic.