Linux Kernel For Normal World

[chirag garg]

Hi

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20141218/bc001448/attachment.html>