Large deviation principle for random matrix products

Under a Zariski density assumption, we extend the classical theorem of Cramer on large deviations of sums of iid real random variables to random matrix products.