Do L4 Fiasco microkernel support multicore processor?

[Neohtm]

Hi all,

I would like to know whether the Fiasco microkernel is able to run on
multicore processor such as Intel Core 2 Duo or Quad Core???
I want to try to compile the Fiasco + DOpE + L4Linux to run on it.

Regards,
neohtm
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20090422/3e6d7bd8/attachment.html>