Re: seL4 Availability (Was: L4.sec)

"Jonathan S. Shapiro" <[email protected]>
Newsgroups gmane.os.hurd.l4
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.