I will report on a project joint with Roman Bezrukavnikov (and
partly with Laura Rider) aiming at constructing a variant for
positive-characteristic coefficients of the equivalence constructed
by Bezrukavnikov in "On two geometric realizations of an...