I have a question about L4Linux

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue May 15 23:08:08 CEST 2007

On Tue May 15, 2007 at 16:11:22 -0400, Ernesto Bascon wrote:
> > > 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?

I don't quite understand this. It's nothing more than user processes
that are doing exceptions of all sorts (syscalls, page faults, illegal
instructions, etc.) and the Linux server receiving those and stuffing
them into the innards of Linux. When coming back we reply with a new
register state and the process continues until the next exception.
> Is swapping implemented on the L4Linux side (letting Linux do its
> work) or is it implemented on the L4 side?

It's in L4Linux, there's nothing changed on that level of memory
management compared to Linux.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list