  Assuming strong irreducibility and proximality, we prove that the Furstenberg
measure, corresponding to a finitely supported measure on the general linear
group of a finite dimensional real vector space, is exact dimensional. We also
establish a Ledrappier-Young type formula for its dimension. The general
strategy of the proof is based on the argument given by Feng for the exact
dimensionality of self-affine measures.
