OKL4 vs L4::Pistachio
brycecr at gmail.com
Mon Mar 10 01:38:53 CET 2014
> The moral successor of Pistachio as well as the open-source version of
OKL4 is seL4.
I was not aware that seL4 is open source. If this is so, where is the
source code available?
On Tue, Mar 4, 2014 at 11:07 PM, Gernot Heiser <gernot at unsw.edu.au> wrote:
> On 5 Mar 2014, at 14:42 , Taylor Bioniks <zeitue at gmail.com> wrote:
> How does OKL4 compare with L4::Pistachio as far as speed, security,
> Note that you're talking about two systems that have been unmaintained
> unmaintained for years: Pistachio has lost it's supporter base and OKL4
> went closed-source. Both were as fast as it gets at their peak (
> http://l4hq.org/docs/performance.php). The moral successor of Pistachio
> as well as the open-source version of OKL4 is seL4.
> 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
> Both handled VM by allowing user level to map PM into address spaces. The
> model differs somewhat. You'll find descriptions of either model in
> week-1/2 slides of vintage editions of our Advanced OS course (
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers