Generic vanishing theory in positive characteristic

We simplify and improve the main fundamental theorems of positive characteristic generic vanishing theory. As a quick corollary of the theory, we prove that a normal variety $X$ of maximal Albanese dimension satisfies $H^0(X, \omega_X) \neq 0$ and that if $\mathrm{Alb}(X)$ is ordinary, then $S^0(X, \omega_X) \neq 0$.