Re: L4.sec

Hi,

Has anyone reviewed OKL4 for usage with Hurd?
http://www.ok-labs.com/technology/

It seems to be commercially supported, muture with BSD.

Thanks
Shams

-- 

"Marcus Brinkmann" <[email protected]> wrote in message 
news:874plslxjr.wl%[email protected]...
> At Thu, 31 May 2007 14:25:00 +1200,
> "Shams" <[email protected]> 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