On 2/29/08, Adam Lackorzynski <adam@os.inf.tu-dresden.de> wrote:

On Fri Feb 29, 2008 at 15:23:01 +0100, Yang Xu wrote:
> does anybody know that whether l4 linux now already support smp or not
> please?

It does.

So if I download the latest version of L4-linux, I can run it on a multiprocessor system, and it can make good use of all the cores , right?

> 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?

Linux distributes it's thread across it's vCPUs, and your vCPUs are
where you put them.

I don't know whether I understand this correctly. it is the linux that distributes the threads to all the cores, not the ukernel.

Does this mean that the ukernel doesn't realise the existence of the other cores?

thanks,

Best regards,

Yang

Adam
--
Adam adam@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers