Exact dimension of Oseledets measures

This is an ongoing joint work with Pablo Lessa.
We consider a random walk on a group of matrices. Under suitable assumptions, Oseledets Theorem yields numbers (the Lyapunov exponents) and a random splitting into so-called Oseledets subspaces.
This splitting defines a (random) point in a product of Grassmannians. Our Main result is that the distribution of this point is an exact-dimensional measure. The dimension has a geometric interpretation in terms of the exponents and some partial entropies.