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?