[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: L4.sec
From: |
Marcus Brinkmann |
Subject: |
Re: L4.sec |
Date: |
Thu, 31 May 2007 19:20:40 +0200 |
User-agent: |
Wanderlust/2.14.0 (Africa) SEMI/1.14.6 (Maruoka) FLIM/1.14.8 (Shijō) APEL/10.6 Emacs/23.0.0 (i486-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO) |
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
- L4.sec, Shams, 2007/05/30
- Re: L4.sec,
Marcus Brinkmann <=