@Heppie That's my intention, but it all depends on timing of the general release of raspberrypis. I hope to get a few units to test in the first release of 10,000 but we may have to wait until later to secure a budget to buy volume. Though, if students buy their own, I'll certainly support development on it.
@na1pir GLES is the embedded subset of OpenGL as @liz pointed out above. Basically the OpenGL standards committee took the best bits of modern OpenGL and threw out a lot of the cruft. You'll find that GLES is the hardware accelerated drawing API of choice on several games consoles and on nearly all smartphones. Stuff like https://gitorious.org/ci224-lecture4/ci224-lecture4
uses modern OpenGL (a source port to GLES is fairly trivial). It's one of the codebases that I give students to play with.