Re: does l4 linux now support smp?