I have to select one of the micro-kernels for further development. I need answers to following questions to go forward:<br><br>- What are the limitations/advantages of Fiasco, L4Ka: Pistachio and OKL4. Which one should I select?<br>
- Is Fiasco still alive? When I visit Fiasco <a href="http://os.inf.tu-dresden.de/fiasco/">http://os.inf.tu-dresden.de/fiasco/</a> site, last updated date is 26 Sep 2005
   <b>Fiasco 1.2 released!</b> Do we have further releases or is it stopped?<br>- Does anyone have performance figures of Fiasco, L4Ka: Pistachio and OKL4, based on which i can decide which micro-kernel to go for?<br>- Does L4Linux work on OkL4, I read L4Linux runs of L4Ka: Pistachio, will it run as it is or we need to make some changes to it?<br>
<br>Thanks <br>Sarita<br>