I have a question about L4Linux

[Ernesto Bascon]

> > Yes, I think so.
> > Therefore, the L4Linux syscalls are implemented as IPC calls too?
>
> Eventually yes. CPU exception are translated to IPC by the kernel,
> allowing programs to be binary compatible.
>

Great!

Please, enlighten me...
If the Linux processes are handled as L4 servers, is there another
task hypervising the memory allocation, segmentation faults and that
virtual memory management on the L4 side?

Is swapping implemented on the L4Linux side (letting Linux do its
work) or is it implemented on the L4 side?