Hi Praveen,
Thank you very much. For the latest code we can start genode successfully, after adding appropriate changes for imx6.
Cool :-)
But there was one issue, imx53 and imx31 uses uart 1 and imx6 uses uart2 as mentioned by Aditya here, http://sourceforge.net/p/genode/mailman/message/31897976/ .
In the latest code imx53 and imx31 uses serial.h from imx folder in base-hw/src/core/include/spec folder. Instead of using this serial.h, we modified serial.h to use uart 2 and kept the file in imx6 folder and changed the makefile accordingly. Now it is working.
That's right. I merged this back end in 'imx' as our current main line doesn't support any imx platform that needs another implementation. However, the 'imx6/serial.h' solution is fine if you're planning to bring your imx6 support to main line someday.
Cheers, Martin