Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!unmvax!gatech!ken
From: ken@gatech.edu (Ken Seefried iii)
Newsgroups: comp.sys.nsc.32k
Subject: Re: 32K Real-Time OSs?
Summary: Ready Systems VRTX, IOX, FMX, TRACER
Keywords: NS32K, Real-Time OS, Development Tools, Ready Systems VRTX
Message-ID: <18239@gatech.edu>
Date: 27 Mar 89 01:13:42 GMT
References: <1416@scicom.AlphaCDC.COM>
Reply-To: ken@gatech.UUCP (Ken Seefried iii)
Organization: The House Of Fun...
Lines: 9

Ready Systems sell a version of their VRTX real time kernel for the
32000 series.  These products include the kernal, debugger, an I/O 
executive, a file manager and, for some versions, a C compiler (don't
know if it is availible for the 32000).

Ready Systems can be reached at +1 415 326 2950.

	...ken seefried iii
	   ken@gatech.edu