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.
Coly
在 2007-05-15二的 00:36 -0400,Ernesto Bascon写道:
On 14/05/07, coly colyli@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