Raspberry Pi interview: Eben Upton reveals all (Linux User)

No, and that is the main snag for the board. The OpenGL, OpenVG and OpenMAX drivers are all proprietary both on the firmware and Linux driver sides.

To be fair, there wasn't really much choice, and freedom wasn't their main design goal anyway (though it does support the main goal of educational use, but one can argue that it's "free enough" for most in that respect).

As I've said before, hopefully the lima driver project for the mali will take off, then there'll at least be a free alternative. Won't help the Pis at least in this generation, of course. But at least software written for the Pi is written against open APIs and are thus not married to the proprietary GPU.