L4 implementations

[Shams]

Hi Marcus,

Thanks for the info.

1. Since L4.Pistachio and L4.Fiasco both are now implemented in C++ and 
L4.Pisctatio
implements the "latest" L4 API ie. L4-X.2 (L4-V.4), does this conclude that 
L4.Pistachio
is more superior implementation than L4.Fiasco?

3. With L4.Linux is this just a virtualised version of Linux to run on 
either L4.Pistachio or L4.Fiasco
or is this just another implementation of Linux that implements the L4 API?

4. If I want to use L4 for research purposes should I be using L4.Pistachio 
or L4.Fiasco
or L4.Linux?

Thanks
Shams