Linux Kernel For Normal World

chirag garg chiragdthinker at ...9...
Thu Dec 18 08:37:54 CET 2014


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,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list