[Top][All Lists]

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

Re: seL4 Availability (Was: L4.sec)

From: Jonathan S. Shapiro
Subject: Re: seL4 Availability (Was: L4.sec)
Date: Sun, 10 Jun 2007 11:39:37 -0400

On Sat, 2007-06-09 at 16:38 +1000, Gernot Heiser wrote:
> As to the future status of seL4: We have every intention of providing
> an open-source implementation of seL4, when it's ready. Whether we'll
> release a prototype or wait until we have a production version is a
> management/business decision that will be taken some time in the
> future.
> A release of the Haskell prototype is overdue.

What are the release plans for the verification tool chain, if any?


reply via email to

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