Some javascript/style in this post has been disabled (
why?)
On Saturday 07 November 2009 11:27:13
[hidden email] wrote:
> Hi all,
Today is Saturday and i try to give a answer about your questions.
> 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?
Basically it is correct and OKLinux is a like a Linux server which could
handle system call trap request and memory mapping request from Linux user
processes. OK-Linux is a Linux-paravirtualization technology based on okl4 microkernel or microvisor called by OKL4 researcherss. Iguana is deprecated and will be replacedby okl4lib. In my opinion iguana/okl4lib are the operating system based on okl4 microvisor and they could provide the feasible way or sufficient interfaces such as posix interfaces and c library to build application on top of low-level microvisor (Microkernel and hypervisor?).
More importantly microkernel does no real work and it only provide the mechainsm. So you need an outside operating system or big library to provide the policy customed entry. Maybe OKL4 researchers like the concept library more and i think that is why the OKLib is named.
> 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.
About Android and OKL4 okl4 guys have done some work such as porting
okl43.0 to HTC Android Gphone and you could find the link in the ERTOS website. But it is only about OKL43.0 and no oklinux porting existing public yet. Andriod could be regarded as security enhanced Linux but in the kernel level Android is very similar as Linux just about some additional drivers like binder, MMC, Audio, etc. So there should be Linux variant and there is no big
difference between Android kernel and Linux kernel. You can be care how to port Android kernel to OKL4 and that is all.
OKLinux driver is totally different from OKL4 and now it seems no method
to port OKLInux driver to OKL4 directly. But OKL4 develop another security device driver framework named Dingo and you could find info from here (http://wiki.ok-labs.com/DriverFramework). Some more work about Dingo
has been appeared in the Eurosys 2008 and SOSP2009.
Anyway you have other ways to use OKL4 such as Genode OS Framework
and they reported they have ported the Genode OS to OKL4 3.0.
That's all.
Thanks.
Cheng Guanghui
_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
