Fwd: Re: How do we develop Operating Systems

[Stig Erik Sandø]

hi,

this message had several links to OSes which were not on the
OS-page.  I am not quite sure on which category to place which
OS in, but maybe some of you know. :)



Path: nntp.uib.no!uninett.no!news.algonet.se!algonet!newsfeed.berkeley.edu!news.ucsc.edu!osr
From: Greg Law <gel@soi.city.ac.uk>
Newsgroups: comp.os.research
Subject: Re: How do we develop Operating Systems
Date: 14 Dec 1999 18:00:53 GMT
Organization: City University
Lines: 37
Approved: comp-os-research@ftp.cse.ucsc.edu
Message-ID: <8360kl$10q@darkstar.ucsc.edu>
References: <8210kc$8n4@darkstar.ucsc.edu> <82ju82$cc5@darkstar.ucsc.edu>
NNTP-Posting-Host: ftp.cse.ucsc.edu
Originator: osr@cse.ucsc.edu
Xref: nntp.uib.no comp.os.research:7715


Usenet Poster Boy wrote:

[...]
> Most of the OS researchers I know or know of aren't really developing
> OSes any more, but have moved on to looking at specific problems
> within the well established domain of the OS.  

I'm not sure I agree with this statement (well, obviously, I'm not
telling you who you know, but I think you know what I mean :-)

There's quite a lot of traditional "building an OS" work going on that
I'm aware of.  We're building an OS here at City (Go! --
http://www.soi.city.ac.uk/~gel/go.html), Stirling Uni in Scotland are
building CHARM (http://os.dcs.st-and.ac.uk/Charm/), SpeedOS at Ulm,
Germany
(http://www.informatik.uni-ulm.de/rs/staff/projects/SPEEDOS/SPEEDOS_E.html)
, IBM TJ Watson are building SawMill (was Lava --
http://www.research.ibm.com/sawmill/index.html), and Bell labs are
building 'Pebble' (http://www.bell-labs.com/project/pebble/).  I also
know there are at least 3 others under development but are more
commerically oriented so details are limited.  There are several recent
ones too (and still on-going to an extent): MIT's exokernel, Cambridge's
Nemesis and Dresden's L4.  I'm sure there are plenty others that I've
forgotten about or am not aware of.

Cheers,

Greg.

-- 
Greg Law, 				email: 	gel@soi.city.ac.uk
Dept. Of Computing,			web:	http://www.soi.city.ac.uk/~gel/
City University, 			phone: 	+44 171 477 8341
London, UK.  EC1V 0HB.			fax:	+44 171 477 8587