>L4Re consists of libraries and applications. In a normal setup you are

>running native L4Re applications, like Moe, Ned or Mag. These

>applications mostly implement services. L4Linux just uses these

>services. So it is the other way around. Most native L4Re applications

>do not depend on each other. But L4Linux depends on a bunch of them.

>You can find more information on the general system structure at

>http://os.inf.tu-dresden.de/L4Re/doc/. Note that L4Linux is nothing

>special with regards to the overall system structure. It is just another

>application.

>Hope that helps.

 

Thanks for your kindly help, and i have had a quick look about the L4Re ducument!

In your explanation, L4Re cosists of a bunch of services. So it just provides basic services for L4Linux, but not a enviroment for normal application!

I describe my thought about L4 related stuff as below.

For normal user, they can only use L4Linux or Karma VM, which provides a Linux enviroment. They can not use the L4Re as a enviroment because no Linux env?

But for L4 developer, how can they build application derectly on microkernel? Just depend on the systemcall provided by microkernel and/or have some dependence on those existing service from L4Re?

 

Best,

Chen