[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 |
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" <address@hidden> wrote in message
news:address@hidden
> 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