[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: L4.sec

From: Shams
Subject: Re: L4.sec
Date: Wed, 6 Jun 2007 18:24:33 +1200


Has anyone reviewed OKL4 for usage with Hurd?

It seems to be commercially supported, muture with BSD.



"Marcus Brinkmann" <address@hidden> wrote in message 
> At Thu, 31 May 2007 14:25:00 +1200,
> "Shams" <address@hidden> wrote:
>> Hi,
>> I have read that L4.Sec might be a candidate for Hurd.
>> Does anyone know if L4.Sec is supposed to replace L4.Pistachio
>> and/or L4.Fiasco?
> L4.sec is developed in Dresden, while Pistachio was developed in
> Karlsruhe.  The available draft document indicates that it is more of
> a mini-revolution than an evolution of previous L4 architectures.
> Although I am involved in none of the projects you reference, I would
> expect that they will be continued in parallel for quite some time.
>> Will L4.Sec be a merged version of L4.Pistachio and L4.Faisco?
> None of that.  It's a new project.  It's faithful to the L4 paradigm
> of recursive address spaces, but different in many implementation
> aspects due to different memory management and IPC security
> facilities.
> Thanks,
> Marcus 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]