Yes, there was an announcement a few days ago on, http://www.gp32x.com/board/index.php?showtopic=46247 , that OpenGL ES are now public and are shipped on official release.

Thomas