[net.micro] Monitor/Kernel and debugger for 8088 wanted

dal (04/29/83)

We are searching for an operating system kernel to perform scheduling,
interprocess communication, resource allocation, etc. on an 8088 based
system.  The kernel should be compatible with 'C' and modifiable for
our application.  A debugging tool would also be useful.  Any
information regarding available commercial or public domain software
would be appreciated.

Thanks...
            Don Ledford  
            (...uw-beaver!teltone!dal or ...decvax!microsof!teltone!dal)
            Teltone
            10801 120th Avenue, NE
            Kirkland, WA 98033
            (206) 827-9626