I have a question about L4Linux
adam at os.inf.tu-dresden.de
Tue May 15 21:36:39 CEST 2007
On Tue May 15, 2007 at 15:18:35 -0400, Ernesto Bascon wrote:
> > >> 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?
> > The L4Linux kernel and the Linux user tasks run in separate L4 address
> > spaces each. Does this answer your question?
> 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.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers