[comp.unix] real time kernel in ANSI C

drc@konkord.uucp (Dave Carhart) (07/04/90)

I'm looking for a real time kernel (UNIX based).   This can be a public domain
or a commercial program.  I need the source code though.    
The important parts of the kernel for me are the IPC and the scheduler.

You can reply to this message or E-mail me at 
uunet!konkord!drc

Thanks,    Dave Carhart,   Concord Communications Inc.