Kernel Initialized in iMX6

Hi all.

I am trying to port genode 14.05 on iMX6 board. As Aditya done this successfully for Genode 13.05. But Genode 14.05 is having so many changes from version 13.05. I am successfully able to build for iMx6 and it's creating uImage for "printf" script. But when i am running this uImage on the Board and its giving following messages :

starting Kernel... Genode 14.05

Kernel Initialized int main( ) : --- create local services--- failed to communicate with thread event

Any idea How will I start kernel ? where should i look ??

Regards

Chirag Garg IIT Madras , Rise Lab