This is more than anything a question for the Raspberry Pi "staff", and not so much to the community. I have been searching for an answer in the forum and on the Wiki, but come up short.
I received my RPi a few weeks ago, and have been tinkering with it for a few hours. I wanted to use Xorg on it, utilizing the on-board Mali 400 GPU, but haven't been able to get it to work properly. I found Linux kernel source for the GPU at http://www.malideveloper.com/, but in order to get OpenGL working with the Mali hardware, ARM proprietary userland binaries are needed. I have seen people suggesting using Mesa instead, but I for one wouldn't want to settle for software emulated OpenGL when there is a Mali GPU present on the board.
Hence, my question is: do you intend to release userland binaries for the OpenGL library for the Mali400 GPU? I know that this has been done for other similar boards, for example the Snowball by Linaro/ST-Ericsson.
Thanks in advance.