From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!wugate!uunet!inmet!callen
From: callen@inmet
Newsgroups: comp.lang.ada
Subject: Re: writing operating systems in ADA
Message-ID: <20600013@inmet>
Date: 24 Oct 89 13:30:00 GMT
References: <16422@umn-cs.CS.UMN.EDU>
Nf-ID: #R:umn-cs.CS.UMN.EDU:-1642200:inmet:20600013:000:282
Nf-From: inmet!callen    Oct 24 09:30:00 1989
List-Id: <comp.lang.ada>


The entire operating system for the Rational R1000 is written in Ada; the
underlying hardware is built to run Ada, with intrinsic support for such
high level concepts as rendezvous. You might give them a call; they are in
Santa Clara, CA.

-- Jerry Callen
   ...!uunet!inmet!callen