[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


reply via email to

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