Static large deviations of boundary driven exclusion processes

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.