does l4 linux now support smp?

[Yang Xu]

Hello everyone,

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

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,

Yang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20080229/853f5936/attachment.html>