I have a question about L4Linux

Ernesto Bascon ebasconp at gmail.com
Tue May 15 06:36:16 CEST 2007

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,


More information about the l4-hackers mailing list