OKL4 vs L4::Pistachio

Taylor Bioniks zeitue at gmail.com
Wed Mar 5 04:42:52 CET 2014

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

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>

More information about the l4-hackers mailing list