I have a question about L4Linux

Ernesto Bascon ebasconp at gmail.com
Tue May 15 22:11:22 CEST 2007

> > 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.


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?

More information about the l4-hackers mailing list