OKL4 vs L4::Pistachio
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers