I'm interested in using ARM-based boards for development; most of the ones I'm interested in have Mali graphics. But I am not planning on running Linux or Android. As a start, I would like to get a hardware-accelerated video driver for OpenBSD.
Yes, I'm also very interested in having acceleration working on non linux platforms. Is there any way to get hands on gpu register documentation or just have a look on code? Or is there are any precompiled libraries for *BSD oses?