[okl4-developer] some questions about okl4

[luanlan at mail.ustc.edu.cn]

Hi all,

Now our laboratory is engaged in one research of embedded hypervisor based on OKL4. OKL4 is an excellent project, and it's new to us. We have many problems during the research. The problems that we mostly concern are as follows:

1.We think that ok-linux runs on the top of okl4 microvisor as a process (or a server). We are wondering whether this is correct. And what's the relationship between ok-linux and okl4 microvisor?
2.What's the relationship between okl4_3.0/iguana and microvisor?
3.One goal of our research is to run two operating system concurrently on the platform of okl4 ,such as Android and linux.But we don't have any good idea to construct the architecture.
4.We want to know whether drivers of ok-linux can also be used in okl4,if it does,how to use them. 

Does anybody help us. Thank you very much!

luanlan