Real-time kernel

[Dave Carhart]

I'm looking for a real time kernel (UNIX based) written in ANSI C.
This can be either public domain or commercial.  But I need the source code.
The important parts (for me) are the IPC and the scheduler.  

Please reply to this message via E-mail me at uunet!konkord!drc and I will
post a summary of responses back to the group for those who are interested.

Thanks,   Dave Carhart
-- 
Dave Carhart					(508)460-4646 X196
Concord Communications				uunet!konkord!drc
753 Forest Street					or
Marlboro, MA 01876				drc%konkord at uunet.uu.net