I have a question about L4Linux

coly colyli at gmail.com
Tue May 15 16:03:13 CEST 2007

Just use L4Linux to perform the memory management. But nature level
operation on page table will be passed to L4 kernel. That is why we call
it L4Linux.


在 2007-05-15二的 00:36 -0400,Ernesto Bascon写道:
> On 14/05/07, coly <colyli at gmail.com> wrote:
> > SJ,
> >
> > L4linux is not a microkernel. L4Linux is a user space server, provides
> > Linux compatible ABI. L4 kernel helps to make it.
> How the memory protection is addressed by L4Linux if it is a L4
> userspace process?
> Kind regards,
> Ernesto

More information about the l4-hackers mailing list