Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!ub!uhura.cc.rochester.edu!rochester!cornell!ken
From: ken@gvax.cs.cornell.edu (Ken Birman)
Newsgroups: comp.os.mach
Subject: Re: OS kernel sources
Message-ID: <48413@cornell.UUCP>
Date: 15 Nov 90 14:44:42 GMT
References: <1990Nov5.215209.4489@pyro.ei.dupont.com> <884@sibyl.eleceng.ua.OZ> <1990Nov12.155727.6568@maverick.ksu.ksu.edu> <448@organpipe.UUCP> <MIB.90Nov14174402@churchy.ai.mit.edu> <1990Nov15.031101.23899@agate.berkeley.edu>
Sender: nobody@cornell.UUCP
Reply-To: ken@gvax.cs.cornell.edu (Ken Birman)
Distribution: comp.os.mach
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 14

In article <1990Nov15.031101.23899@agate.berkeley.edu> kupfer@sprite.berkeley.edu (Mike Kupfer) writes:
>> To my knowledge, no one (including CMU) other than the FSF is
>> considering implementing a free server on top of the Mach microkernel.
>
>Well, we (the Sprite group) are planning to put Sprite up on Mach.

The ISIS system is also freely available under Mach.  Although the current
version isn't exactly a kernel server, we are starting a re-design effort
that will yield a kernalized ISIS over Mach sometime next year.  A version
of this will also be available to the public for free.

(ISIS is a toolkit for building fault-tolerant distributed programs).

-- Ken