  We prove that the stationary measure associated to a boundary driven
exclusion process in any dimension satisfies a large deviation principle with
rate function given by the quasi potential of the Freidlin and Wentzell theory.
