Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!ginosko!aplcen!haven!h.cs.wvu.wvnet.edu!cerc.wvu.wvnet.edu!kannan@babcock.cerc.wvu.wvnet.edu
From: kannan@babcock.cerc.wvu.wvnet.edu (R. Kannan)
Newsgroups: comp.lang.ada
Subject: Re: writing operating systems in ADA
Message-ID: <286@cerc.wvu.wvnet.edu.edu>
Date: 24 Oct 89 17:17:25 GMT
References: <481@umvlsi.ecs.umass.edu>
Sender: news@cerc.wvu.wvnet.edu
Lines: 5

PULSE: An Ada based DISTRIBUTED OS, was designed and implemented in UK.
It has been around since 1985. It is more like UNIX. Has all the interface for
UNIX.
There is a book on PULSE.
--kannan