  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.
