Some questions about L4 operating system

Adam Lackorzynski adam at
Thu Jul 16 23:57:49 CEST 2015

On Thu Jul 16, 2015 at 11:33:24 -0400, Yuxin Ren wrote:
> On Thu, Jul 16, 2015 at 7:31 AM, Qing Wei <wq_idol at> wrote:
> > Hi,
> >   I am a beginner to L4, and very interested in it. I think it is great in
> > terms of its minimality and security. However, I have some questions
> > about it,
> > (1) How is its performance compared to other monolithic kernel,
> > say, Linux. Could it make use of multicore, multiprocessor to
> > enjoy the performance scalability?
>    The performance of Fiasco kernel is not bad, and it should be
> better than Linux.

>    Fiasco kernel can support multicore very well, while it has deadlock issue.

Could you elaborate on the deadlock?

Adam                 adam at

More information about the l4-hackers mailing list