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 _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
