does l4 linux now support smp?

Yang Xu for.l4.linux at
Mon Mar 3 10:16:00 CET 2008

Hello Adam,

thank you for your reply.

On 2/29/08, Adam Lackorzynski <adam at> wrote:
> On Fri Feb 29, 2008 at 15:23:01 +0100, Yang Xu wrote:
> > does anybody know that whether l4 linux now already support smp or not
> > please?
> It does.

So if I download the latest version of L4-linux, I can run it on a
multiprocessor system, and it can make good use of all the cores , right?

> As far as I know, linux 2.6.x already supports smp. So I am wondering the
> > the l4-linux 2.6 supports smp or not. if yes,   it is the linux kernel
> > distributes the threads across the cores or the ukernel does this?
> Linux distributes it's thread across it's vCPUs, and your vCPUs are
> where you put them.

I don't know whether I understand this correctly. it is the linux that
distributes the threads to all the cores, not the ukernel.

Does this mean that the ukernel doesn't realise the existence of the other


Best regards,


> --
> Adam                 adam at
> Lackorzynski
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list