The SolidRun CuBox supports Google's Android as well as distributions like Ubuntu/Debian. The CuBox has an TDA19988 HDMI transmitter, which is now supported via the new Dove DRM driver developed by ARM Linux veteran Russel King.
Russel published his initial Dove DRM/TDA19988 Cubox graphics driver on Thursday across a set of eight kernel patches. The patches can be found on the dri-devel list, but King notes that not everything is finished with yet to be fully implemented and tested functionality like page-flipping. Most of an X.Org user-space driver is complete.
Russell King concluded his announcement by noting "graphics, video overlay, interlacing, accelerated GPU via the original vivante support all works through this driver, with this driver providing the X pixmaps."
Hopefully this latest ARM Linux DRM graphics driver will be merged into an upcoming Linux kernel release.