We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.
Indeed the drivers will be provided in binary format directly from the Mali Developer Center. The aim is to provide developers all they need to get started in one place On your last note; it's more a question of availability - this is early stage hardware that is not manufactured in large volumes yet unfortunately. We therefore need to qualify these requests and use a queuing system. Have you requested a board btw?
ARM's Mali has the chance to not only offer an IP core with similar or better hardware performance. It has the chance of being several orders of magnitude better when it comes to providing a "standard Linux graphics stack". This means that* kernel framebuffer driver + DRI2 (or TTM/KMS), open source under GPL, actively contributed back to the mainline kernel* Xorg driver with EXA/XAA + Xvideo), open source under MIT license, against latest development version of Xorg* OpenGL driver (not only ES), preferrably open source. If it has to stay proprietary, keep the proprietary part as small as possible and make sure it only uses standardized DRI/DRM interface to the kernelIf ARM can provide something along these lines, they will make it at least 10 times easier to build a Linux-based netbook or MID. If they don't, it will not make a difference if you use Imgtec or Mali