Our current PIs use a fixed graphics firmware which has buildin gles supports. This firmware didn’t change since decades (rpi1 release time) ;-).

As dankcushions said there is a open source driver headed up. I don’t know if it has more features or is faster.