As far as I remember, there 'should exist' an exact etale realization functor from the category of mixed motivic sheaves (over a base scheme $S$) to the category of perverse $l$-adic sheaves over $S$. However, I was not able to find this conjecture in the literature. I would be deeply grateful for any references or details and comments here!


Upd. I would like to understand here the interplay between the residue fields of a scheme and their separable closures.


It seems that I know most of the main reference on the subject; yet I cannot find a very precise answer to my question (possibly it's still there but is difficult to see).



The conjectural relation between mixed motivic sheaves and the perverse t-structure.
For triangulated category of geometric motives over a regular scheme $S$, the $\ell$-adic realisation has been constructed by Florian Ivorra in his thesis. I think the functor is expected to be t-exact for the motivic and perverse t-structure but don't know if it has been explictly written as a conjecture. There is also a chapter about the perverse t-structures in the motivic setting in Ayoub's thesis. 


