does l4 linux now support smp?

Yang Xu for.l4.linux at
Fri Feb 29 15:23:01 CET 2008

Hello everyone,

does anybody know that whether l4 linux now already support smp or not

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?

Any comment is welcome :-)

best regards,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list