Have you looked at Bezrukavnikov and Kaledin's _[Fedosov quantization in positive characteristic][1]_?  That has a page or so on formal geometry in characteristic $p$.

[1]:https://arxiv.org/abs/math/0501247