How well are the algebraic K-groups of the strict henselization of the stalks $\mathcal{O}_{X,p}^{sh}$ at geometric points of a scheme $X$ understood? I am particularly interested in the case of rational K-theory theory and when X$X$ is a smooth projective scheme over F_p$\mathbb{F}_p$.