I want to run Linux Kernel in the Normal World on the top of Genode base-hw kernel for imx6 platform.

Can you provide some guidance how to start doing this ?

Thanks in advance,

Regards

Chirag