This has been under radar a while, but we have a pretty cool adapter with an HDMI to MIPI bridge (Toshiba TC358743XBG) and software to use it on our i.MX6 boards.
This video shows it running on the 3.10.17
version of Linux kernel built using the Yocto tools and Freescale Community BSP:
Contact us at info@boundarydevices.com for details.