I wonder if the driver from the iPhone could be stolen and made to work for the N8x00. It's Darwin-based, but I'm sure it could be of some help.

And as for licensing, it seems that PowerVR provides the SDK for free, and TI provides the SDK free as well, even more recently a gaming API for the 24x0 chipset. I've already requested the API (which is for the 2.6 kernel)

From the presentations I've on the MBX chipset, it seems that there is no specific limitation and it can actually drive resolutions as high as 1024x768. The other thing I noticed is that the use of the MBX chipset vastly reduces power consumption for raster and 3d graphics usage versus software-rendered solutions.

Has anyone ever seen this?
http://linux.omap.com/pub/patches/www.muru.com.mirror/

There is a kernel patch that has several references to the DSP on the 24xx chipset as well as the on-die graphics processor.

The funny thing is, look at the credits on the patches. Nokia devs.