does l4 linux now support smp?

Adam Lackorzynski adam at
Fri Feb 29 20:02:18 CET 2008

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

Adam                 adam at

More information about the l4-hackers mailing list