OKL4 vs L4::Pistachio

[Taylor Bioniks]

How does OKL4 compare with L4::Pistachio as far as speed, security,
responsiveness?

L4::Pistachio uses kickstart to load it, the core kernel is contained in
kernel, and the physical memory manager is stored in sigma0, I'm not even
sure if it has a virtual memory manager.

Does OKL4 have a built in memory manager, and does it handle virtual memory?

Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140304/16e4422a/attachment.html>