[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?
Jonathan