does l4 linux now support smp?

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