Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!rosevax!jay@rosevax.rosemount.com
From: jay@rosevax.rosemount.com (Jay Warrior)
Newsgroups: comp.realtime
Subject: Small kernel's
Message-ID: <9689@rosevax.Rosemount.COM>
Date: 12 Feb 91 18:33:29 GMT
Sender: news@rosevax.Rosemount.COM
Distribution: na
Organization: Rosemount Inc
Lines: 5

I'm looking for a light weight kernel for a 68K based product running C. This
is a small battery powered product, and I am not doing a lot of IPC :)

Any recommendations ? I'd heard of something called "C-executive" or something
that at least sounded like it ?