Ok, after some delays and some package fiddling, here is the first SD card image with the 3D binary drivers from Freescale, rebuilt for hardfloat:
Just dd it on an SD card and boot. I don't really have any serious 3D apps there to show, only simple_draw and es11ex. Simple_draw gives ~190FPS vs 154FPS on softfp, which is an expected 23% gain from using hardfloat.
1. The kernel used is the latest git kernel from gitorius, so should be pretty much the same as in the maverick image.
2. KDE4 is incomplete in the image, only gnome works properly right now, I should have removed it completely but I decided to leave it for users that would like to install it.
3. mplayer+vlc are not available for video playback, there are failing build-dependencies in Debian that forbid this (libbluray/libgii resp). The first is java-related (missing link, already reported), the latter is thumb2-related, for which I already have a fix. So no movie playback for now, sorry, but ffplay works.
4. I will upload the armhf debs on the armhf repo which we will setup soon on some Genesi server.