Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!sdd.hp.com!mips!pacbell.com!ucsd!nosc!cod!bel
From: bel@cod.NOSC.MIL (Robert E. Laughlin)
Newsgroups: comp.realtime,usrgroup.realtime
Subject: Commercial OS's and Kernels
Message-ID: <3065@cod.NOSC.MIL>
Date: 16 May 91 16:18:21 GMT
Organization: Naval Ocean Systems Center, San Diego
Lines: 15

Hello;

	This is probably a FAQ, but I have to ask any way.  I need the names
	and sources for realtime OS's and Kernels.  I know of a couple of
	OS's, Lynx and RMX, and a kernel, VRTX.  I am sure that there are more
	available.

	I hope that you gentle readers will take pitty on me and email me the
	names and vendors of more.  I need to supply my sponsor some
	alternatives that can support his needs.

	Thanks!!

	Robert E. Laughlin	email; bel@nosc.mil
	Of course I do not speak for NOSC.