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